Model.ModelEvaluationFailedException (z3-turnkey 4.10.1 API)

java.lang.Object
- java.lang.Throwable
- - java.lang.Exception
  - - java.lang.RuntimeException
    - - com.microsoft.z3.Z3Exception
      - com.microsoft.z3.Model.ModelEvaluationFailedException

All Implemented Interfaces:

Serializable

Enclosing class:

Model
```
public class Model.ModelEvaluationFailedException
extends Z3Exception
```
A ModelEvaluationFailedException is thrown when an expression cannot be evaluated by the model.

See Also:

Serialized Form

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ModelEvaluationFailedException()
  An exception that is thrown when model evaluation fails.
- Method Summary
  - Methods inherited from class java.lang.Throwable
    addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - ModelEvaluationFailedException
```
public ModelEvaluationFailedException()
```
    An exception that is thrown when model evaluation fails.