crillab-universe/csp/intension/ directory

Files

file AbstractUniverseIntensionConstraintFactory.hpp

Defines an abstract class for instantiating intension constraints.

file IUniverseIntensionConstraint.hpp

Defines an interface for representing intension constraints.

file IUniverseIntensionConstraintVisitor.hpp

Defines an interface for visiting intension constraints.

file UniverseBinaryIntensionConstraint.hpp

An intension constraint that applies an operator on two intension constraints.

file UniverseConstantIntensionConstraint.hpp

An intension constraint representing a constant value.

file UniverseIfThenElseIntensionConstraint.hpp

An intension constraint representing an if-then-else (ternary) constraint.

file UniverseIntensionConstraintFactory.hpp

Defines a factory class for instantiating native intension constraints.

file UniverseJavaIntensionConstraint.hpp

An adapter for a Java implementation of an intension constraint.

file UniverseJavaIntensionConstraintFactory.hpp

Defines a factory class for instantiating Java intension constraints.

file UniverseNaryIntensionConstraint.hpp

file UniverseOperatorIntensionConstraint.hpp

Defines the parent class for intension constraints applying operators.

file UniverseRangeIntensionConstraint.hpp

An intension constraint representing a range of values.

file UniverseSetIntensionConstraint.hpp

An intension constraint representing a set of intension constraints.

file UniverseUnaryIntensionConstraint.hpp

An intension constraint that applies an operator on a single intension constraint.

file UniverseVariableIntensionConstraint.hpp

An intension constraint representing a variable.