Class CnfParser.ParseException

java.lang.Object
java.lang.Throwable
java.lang.Exception
org.jacop.jasat.utils.CnfParser.ParseException
All Implemented Interfaces:
Serializable
Enclosing class:
CnfParser

public static final class CnfParser.ParseException extends Exception
exception occurring during parse
See Also:
  • Constructor Details

    • ParseException

      public ParseException(String msg)