com.microsoft.z3

Class Z3Exception

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.microsoft.z3.Z3Exception

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

Model.ModelEvaluationFailedException

public class Z3Exception
extends java.lang.RuntimeException

The exception base class for error reporting from Z3

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Z3Exception() Constructor.
Z3Exception(java.lang.String message) Constructor.
Z3Exception(java.lang.String message, java.lang.Exception inner) Constructor.

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

Z3Exception

public Z3Exception()

Constructor.

Z3Exception

public Z3Exception(java.lang.String message)

Constructor.

Z3Exception

public Z3Exception(java.lang.String message,
           java.lang.Exception inner)

Constructor.