Package parser.absconparseur.tools

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  
 



Copyright © 2012. All Rights Reserved.