Model.ModelEvaluationFailedException

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 Details
- ModelEvaluationFailedException
  
  public ModelEvaluationFailedException()
  
  An exception that is thrown when model evaluation fails.