public class EvaluationUndecidableException extends Exception
| Constructor and Description |
|---|
EvaluationUndecidableException()
Instantiates a new evaluation undecidable exception.
|
EvaluationUndecidableException(String message)
Instantiates a new evaluation undecidable exception.
|
EvaluationUndecidableException(String message,
Throwable cause)
Instantiates a new evaluation undecidable exception.
|
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringpublic EvaluationUndecidableException()
public EvaluationUndecidableException(String message)
message - the messageCopyright © 2018. All rights reserved.