C# Class Microsoft.Z3.Log

Show file Open project: sslab-gatech/juxta

Public Methods

Method Description
Append ( string s ) : void

Appends the user-provided string s to the interaction log.
Close ( ) : void

Closes the interaction log.
Open ( string filename ) : bool

Open an interaction log file.

Private Methods

Method Description
isOpen ( ) : bool

Method Details

Append() public static method

Appends the user-provided string s to the interaction log.
public static Append ( string s ) : void
s string
return void

Close() public static method

Closes the interaction log.
public static Close ( ) : void
return void

Open() public static method

Open an interaction log file.
public static Open ( string filename ) : bool
filename string the name of the file to open
return bool