Z3Exception Class Reference

Inheritance diagram for Z3Exception:

Public Member Functions
	Z3Exception ()
	Z3Exception (String message)
	Z3Exception (String message, Exception inner)

---

Detailed Description

The exception base class for error reporting from Z3

Definition at line 25 of file Z3Exception.java.

---

Constructor & Destructor Documentation

Z3Exception

(

)

[inline]

Constructor.

Definition at line 30 of file Z3Exception.java.

    {
        super();
    }

Z3Exception

(

String

message

)

[inline]

Constructor.

Definition at line 38 of file Z3Exception.java.

    {
        super(message);
    }

Z3Exception	(	String	message,
		Exception	inner
	)		[inline]

Constructor.

Definition at line 46 of file Z3Exception.java.

    {
        super(message, inner);
    }