Public Member Functions | |
Z3Exception () | |
Z3Exception (String message) | |
Z3Exception (String message, Exception inner) |
The exception base class for error reporting from Z3
Definition at line 25 of file Z3Exception.java.
Z3Exception | ( | ) | [inline] |
Z3Exception | ( | String | message | ) | [inline] |
Z3Exception | ( | String | message, |
Exception | inner | ||
) | [inline] |