public class InvalidTheoryException extends PrologException
Theory
,
Serialized FormConstructor and Description |
---|
InvalidTheoryException() |
InvalidTheoryException(int line,
int pos) |
InvalidTheoryException(java.lang.String message) |
InvalidTheoryException(java.lang.String message,
int clause,
int line,
int pos) |
public InvalidTheoryException()
public InvalidTheoryException(int line, int pos)
public InvalidTheoryException(java.lang.String message)
public InvalidTheoryException(java.lang.String message, int clause, int line, int pos)