Uses of Class
org.jacop.jasat.utils.CnfParser.ParseException
Packages that use CnfParser.ParseException
-
Uses of CnfParser.ParseException in org.jacop.jasat.utils
Constructors in org.jacop.jasat.utils that throw CnfParser.ParseExceptionModifierConstructorDescriptionCnfParser
(MemoryPool pool, InputStream stream) creates an instance of the parser for some input stream