Universe::UniverseUnaryIntensionConstraint class
#include <UniverseUnaryIntensionConstraint.hpp>

Contents

The UniverseUnaryIntensionConstraint is an intension constraint that applies an operator on a single intension constraint.

Base classes

class UniverseOperatorIntensionConstraint

Constructors, destructors, conversion operators

UniverseUnaryIntensionConstraint(Universe::UniverseOperator op, Universe::IUniverseIntensionConstraint* child) explicit

Public functions

void accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Function documentation

Universe::UniverseUnaryIntensionConstraint::UniverseUnaryIntensionConstraint(Universe::UniverseOperator op, Universe::IUniverseIntensionConstraint* child) explicit

Parameters
op The operator applied by the constraint.
child The intension constraint on which the operator is applied.

Creates a new UniverseUnaryIntensionConstraint.

void Universe::UniverseUnaryIntensionConstraint::accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.