The exception base class for error reporting from Z3. More...
Public Member Functions | |
Z3Exception () | |
Constructor. | |
Z3Exception (string message) | |
Constructor. | |
Z3Exception (string message, System.Exception inner) | |
Constructor. |
The exception base class for error reporting from Z3.
Definition at line 27 of file Z3Exception.cs.
Z3Exception | ( | ) | [inline] |
Z3Exception | ( | string | message | ) | [inline] |
Z3Exception | ( | string | message, |
System.Exception | inner | ||
) | [inline] |