Package com.microsoft.z3
Class Z3Exception
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- java.lang.RuntimeException
-
- com.microsoft.z3.Z3Exception
-
- All Implemented Interfaces:
Serializable
- Direct Known Subclasses:
Model.ModelEvaluationFailedException
public class Z3Exception extends RuntimeException
The exception base class for error reporting from Z3- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description Z3Exception()
Constructor.Z3Exception(String message)
Constructor.Z3Exception(String message, 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
-
-