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

Contents

The IUniverseIntensionConstraint defines an interface for representing the abstract syntax tree of an intension constraint.

Derived classes

class UniverseConstantIntensionConstraint
class UniverseIfThenElseIntensionConstraint
class UniverseJavaIntensionConstraint
class UniverseOperatorIntensionConstraint
class UniverseRangeIntensionConstraint
class UniverseSetIntensionConstraint
class UniverseVariableIntensionConstraint

Constructors, destructors, conversion operators

~IUniverseIntensionConstraint() defaulted virtual

Public functions

void accept(IUniverseIntensionConstraintVisitor* visitor) pure virtual

Function documentation

Universe::IUniverseIntensionConstraint::~IUniverseIntensionConstraint() virtual defaulted

Destroys this IUniverseIntensionConstraint.

void Universe::IUniverseIntensionConstraint::accept(IUniverseIntensionConstraintVisitor* visitor) pure virtual

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.