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.
static void append | ( | String | s | ) | throws Z3Exception [inline, static] |
Appends the user-provided string s to the interaction log.
Z3Exception |
Definition at line 55 of file Log.java.
{ if (!m_is_open) throw new Z3Exception("Log cannot be closed."); Native.appendLog(s); }
static void close | ( | ) | [inline, static] |
static boolean isOpen | ( | ) | [inline, static] |