Z3
Public Member Functions
Model.ModelEvaluationFailedException Class Reference
+ Inheritance diagram for Model.ModelEvaluationFailedException:

Public Member Functions

 ModelEvaluationFailedException ()
 
- Public Member Functions inherited from Z3Exception
 Z3Exception ()
 
 Z3Exception (String message)
 
 Z3Exception (String message, Exception inner)
 

Detailed Description

A ModelEvaluationFailedException is thrown when an expression cannot be evaluated by the model.

Definition at line 187 of file Model.java.

Constructor & Destructor Documentation

◆ ModelEvaluationFailedException()

An exception that is thrown when model evaluation fails.

Definition at line 192 of file Model.java.

193  {
194  super();
195  }