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 ( )

inline

An exception that is thrown when model evaluation fails.

Definition at line 192 of file Model.java.

         {
             super();
         }