Log (z3-turnkey 4.10.1 API)

java.lang.Object
- com.microsoft.z3.Log

```
public final class Log
extends Object
```
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.

Constructor Summary

Constructors
Constructor Description

Log()

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static void`	`append(String s)`	Appends the user-provided string `s` to the interaction log.
`static void`	`close()`	Closes the interaction log.
`static boolean`	`isOpen()`	Checks whether the interaction log is opened.
`static boolean`	`open(String filename)`	Open an interaction log file.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - Log
```
public Log()
```
- Method Detail
  - open
```
public static boolean open(String filename)
```
    Open an interaction log file.
    
    Parameters:
    
    filename - the name of the file to open
    
    Returns:
    
    True if opening the log file succeeds, false otherwise.
  - close
```
public static void close()
```
    Closes the interaction log.
  - append
```
public static void append(String s)
```
    Appends the user-provided string s to the interaction log.
    
    Throws:
    
    Z3Exception
  - isOpen
```
public static boolean isOpen()
```
    Checks whether the interaction log is opened.
    
    Returns:
    
    True if the interaction log is open, false otherwise.