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. More...

Public Member Functions inherited from Z3Exception
	Z3Exception ()
	Constructor. More...

	Z3Exception (string message)
	Constructor. More...

	Z3Exception (string message, System.Exception inner)
	Constructor. More...

Detailed Description

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

Definition at line 198 of file Model.cs.

Constructor & Destructor Documentation

ModelEvaluationFailedException ( )

inline

An exception that is thrown when model evaluation fails.

Definition at line 203 of file Model.cs.

203 : base() { }