Package org.jacop.jasat.utils

Interface Summary

Interface	Description
Factory<E>	a factory for type E

Class Summary

Class	Description
BasicPreprocessor	a basic preprocessor.
CnfParser	CNF file format (low-level) parser.
GenericMemoryPool<E>	Deprecated
MemoryPool	Class containing int[] of different lengths, to avoid allocating/deallocating too much.
OptParse<E>	util to parse command-line arguments
OptParse.OptHandler<E>	a class to handle one option
Utils	Contains utils for arrays manipulation

Exception Summary

Exception	Description
CnfParser.ParseException	exception occurring during parse