Static Public Member Functions | |
static boolean | open (String filename) |
static void | close () |
static void | append (String s) throws Z3Exception |
static boolean | isOpen () |
Interaction logging for Z3.
Note that this is a global, static log and if multiple Context objects are created, it logs the interaction with all of them.
|
inlinestatic |
Appends the user-provided string s to the interaction log.
Z3Exception |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |