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

Contents

The UniverseIfThenElseIntensionConstraint is an intension constraint that represents an if-then-else (ternary) constraint.

Base classes

class IUniverseIntensionConstraint

Constructors, destructors, conversion operators

UniverseIfThenElseIntensionConstraint(Universe::IUniverseIntensionConstraint* condition, Universe::IUniverseIntensionConstraint* ifTrue, Universe::IUniverseIntensionConstraint* ifFalse) explicit

Public functions

void accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Function documentation

Universe::UniverseIfThenElseIntensionConstraint::UniverseIfThenElseIntensionConstraint(Universe::IUniverseIntensionConstraint* condition, Universe::IUniverseIntensionConstraint* ifTrue, Universe::IUniverseIntensionConstraint* ifFalse) explicit

Parameters
condition The condition of the constraint.
ifTrue The intension constraint corresponding to the case in which the condition evaluates to true.
ifFalse The intension constraint corresponding to the case in which the condition evaluates to false.

Creates a new UniverseIfThenElseIntensionConstraint.

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

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.