at.jku.risc.stout.urau.data
public class MalformedTermException extends ControlledException
Constructor and Description |
---|
MalformedTermException() |
MalformedTermException(String message) |
MalformedTermException(String message,
Throwable cause) |
MalformedTermException(Throwable cause) |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString