public class HaltException extends PrologException
SolveInfo
HaltException()
HaltException(int haltType)
int
getValue()
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public HaltException()
public HaltException(int haltType)
public int getValue()