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

Contents

The UniverseBinaryIntensionConstraint is an intension constraint that applies an operator on two intension constraints.

Base classes

class UniverseOperatorIntensionConstraint

Constructors, destructors, conversion operators

UniverseBinaryIntensionConstraint(Universe::UniverseOperator op, Universe::IUniverseIntensionConstraint* left, Universe::IUniverseIntensionConstraint* right) explicit
~UniverseBinaryIntensionConstraint() defaulted override

Public functions

void accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Function documentation

Universe::UniverseBinaryIntensionConstraint::UniverseBinaryIntensionConstraint(Universe::UniverseOperator op, Universe::IUniverseIntensionConstraint* left, Universe::IUniverseIntensionConstraint* right) explicit

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

Creates a new UniverseBinaryIntensionConstraint.

Universe::UniverseBinaryIntensionConstraint::~UniverseBinaryIntensionConstraint() override defaulted

Destroys this UniverseBinaryIntensionConstraint.

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

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.