Static Public Member Functions | |
static boolean | open (String filename) |
static void | close () |
static void | append (String s) |
static boolean | isOpen () |
Interaction logging for Z3. Remarks: 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 |
Definition at line 56 of file Log.java.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |