Package tools.refinery.logic.dnf
Class InvalidClauseException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
tools.refinery.logic.InvalidQueryException
tools.refinery.logic.dnf.InvalidClauseException
- All Implemented Interfaces:
Serializable
- See Also:
-
Constructor Summary
ConstructorDescriptionInvalidClauseException
(int clauseIndex) InvalidClauseException
(int clauseIndex, String message) InvalidClauseException
(int clauseIndex, String message, Throwable cause) InvalidClauseException
(int clauseIndex, Throwable cause) -
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
InvalidClauseException
public InvalidClauseException(int clauseIndex) -
InvalidClauseException
-
InvalidClauseException
-
InvalidClauseException
-
-
Method Details
-
getClauseIndex
public int getClauseIndex()
-