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

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

+ Inheritance diagram for Model.ModelEvaluationFailedException:

Public Member Functions

 ModelEvaluationFailedException ()
 An exception that is thrown when model evaluation fails.

Detailed Description

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

Definition at line 183 of file Model.cs.


Constructor & Destructor Documentation

An exception that is thrown when model evaluation fails.

Definition at line 188 of file Model.cs.

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