Uses of Class
org.jacop.jasat.utils.CnfParser.ParseException

Packages that use CnfParser.ParseException

Package	Description
org.jacop.jasat.utils

Uses of CnfParser.ParseException in org.jacop.jasat.utils

Constructors in org.jacop.jasat.utils that throw CnfParser.ParseException

Constructor and Description
CnfParser(MemoryPool pool, InputStream stream) creates an instance of the parser for some input stream