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