Public Member Functions | |
ModelEvaluationFailedException () | |
Public Member Functions inherited from Z3Exception | |
Z3Exception () | |
Z3Exception (String message) | |
Z3Exception (String message, Exception inner) | |
A ModelEvaluationFailedException is thrown when an expression cannot be evaluated by the model.
Definition at line 187 of file Model.java.
|
inline |
An exception that is thrown when model evaluation fails.
Definition at line 192 of file Model.java.