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

Contents

The IUniverseIntensionConstraintVisitor allows visiting intension constraints to discover its semantics.

Constructors, destructors, conversion operators

~IUniverseIntensionConstraintVisitor() defaulted virtual

Public functions

void visit(Universe::UniverseConstantIntensionConstraint* constant) pure virtual
void visit(Universe::UniverseVariableIntensionConstraint* variable) pure virtual
void visit(Universe::UniverseUnaryIntensionConstraint* constraint) pure virtual
void visit(Universe::UniverseBinaryIntensionConstraint* constraint) pure virtual
void visit(Universe::UniverseNaryIntensionConstraint* constraint) pure virtual
void visit(Universe::UniverseIfThenElseIntensionConstraint* ifThenElse) pure virtual
void visit(Universe::UniverseSetIntensionConstraint* set) pure virtual
void visit(Universe::UniverseRangeIntensionConstraint* range) pure virtual

Function documentation

Universe::IUniverseIntensionConstraintVisitor::~IUniverseIntensionConstraintVisitor() virtual defaulted

Destroys this IUniverseIntensionConstraintVisitor.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseConstantIntensionConstraint* constant) pure virtual

Parameters
constant The constant to visit.

Visits a constant that appears in an intension constraint.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseVariableIntensionConstraint* variable) pure virtual

Parameters
variable The variable to visit.

Visits a variable that appears in an intension constraint.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseUnaryIntensionConstraint* constraint) pure virtual

Parameters
constraint The constraint to visit.

Visits a unary constraint that appears in an intension constraint.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseBinaryIntensionConstraint* constraint) pure virtual

Parameters
constraint The constraint to visit.

Visits a binary constraint that appears in an intension constraint.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseNaryIntensionConstraint* constraint) pure virtual

Parameters
constraint The constraint to visit.

Visits an n-ary constraint that appears in an intension constraint.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseIfThenElseIntensionConstraint* ifThenElse) pure virtual

Parameters
ifThenElse The constraint to visit.

Visits an if-then-else constraint that appears in an intension constraint.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseSetIntensionConstraint* set) pure virtual

Parameters
set The set to visit.

Visits a set that appears in an intension constraint.

void Universe::IUniverseIntensionConstraintVisitor::visit(Universe::UniverseRangeIntensionConstraint* range) pure virtual

Parameters
range The range to visit.

Visits a range that appears in an intension constraint.