OuterIterateeType

ConstraintPropagationEnumeratee

ofVariable

AssignmentImpact

ordering

VariableStore PositionalConstraint RelationalConstraint DefaultRelationalConstraint