Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions
Model.ModelEvaluationFailedException Class Reference
+ Inheritance diagram for Model.ModelEvaluationFailedException:

Public Member Functions

 ModelEvaluationFailedException ()

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

An exception that is thrown when model evaluation fails.

Definition at line 192 of file Model.java.

        {
            super();
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines