FastBooleanValidityChecker |
|
LargeRelation |
|
PropCompactTable |
Propagator for table constraint based on "Compact-Table: Efficiently Filtering Table Constraints
with Reversible Sparse Bit-Sets" Only for feasible Tuples
|
PropCompactTableStar |
Propagator for table constraint based on
"Extending Compact-Table to Negative and Short Tables",
H.
|
PropLargeCSP<R extends LargeRelation> |
|
PropLargeFC |
|
PropLargeGAC2001 |
|
PropLargeGAC2001Positive |
|
PropLargeGAC3rm |
|
PropLargeGAC3rmPositive |
|
PropLargeGACSTRPos |
GAC maintaind by STR
|
PropLargeMDDC |
Implementation based on "Maintaining GAC on adhoc r-ary constraints", Cheng and Yap, CP12.
|
PropTableStr2 |
STR2 Propagator for table constraints (only positive tuples)
|
TuplesLargeTable |
|
TuplesList |
A simple way of storing the tuples as a list.
|
TuplesTable |
|
TuplesVeryLargeTable |
A LargeRelation for cases where domain are too big to be stored in a single array.
|
ValidityChecker |
A simple class that provides a method to check if a given
tuple is valid i.e. if it is ok regarding the current domain
of the variables
|