|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
InstanceChecker.Indicator |
Class Summary | |
---|---|
DocumentModifier | |
DocumentShuffler | |
InstanceChecker | |
InstanceCheckerEngine | |
InstanceCheckerParser | |
InstanceParser | This class corresponds to a Java parser that uses DOM (Document Object Model) to parse CSP and WCSP instances in format "XCSP 2.1". |
InstanceShuffler | |
LexicographicIterator | This class allows iterating all tuples in a lexicograpic order from a given set of domains. |
SolutionChecker |
Exception Summary | |
---|---|
UnsupportedConstraintException |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |