Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions
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) { }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines