Class Summary |
EqIntersection |
Constraint representing intersection( sources ) = target |
EqPartition |
Constraint representing partition( sources ) = target. |
EqSubset |
Constraint representing target is subset of source |
EqUnion |
Constraint representing union( sources ) = target |
MemberOfSet |
Constraint representing an expression is a member of a set |
NotMemberOfSet |
Constraint representing an expression is not a member of a set |
NullIntersection |
Constraint representing intersection( sources ) = {empty set} |
SetConstraint |
Base Constraint class for Set Constraints |
StrictSubset |
Constraint representing target is a strict subset of source |