Z3Exception Class Reference

The exception base class for error reporting from Z3. More...

Inheritance diagram for Z3Exception:

Public Member Functions
	Z3Exception ()
	Constructor.
	Z3Exception (string message)
	Constructor.
	Z3Exception (string message, System.Exception inner)
	Constructor.

---

Detailed Description

The exception base class for error reporting from Z3.

Definition at line 27 of file Z3Exception.cs.

---

Constructor & Destructor Documentation

Z3Exception

(

)

[inline]

Constructor.

Definition at line 32 of file Z3Exception.cs.

: base() { }

Z3Exception

(

string

message

)

[inline]

Constructor.

Definition at line 37 of file Z3Exception.cs.

: base(message) { }

Z3Exception	(	string	message,
		System.Exception	inner
	)		[inline]

Constructor.

Definition at line 42 of file Z3Exception.cs.

: base(message, inner) { }