C# Class Microsoft.Z3.Log

Afficher le fichier Open project: sslab-gatech/juxta

Méthodes publiques

Méthode 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

Méthode Description
isOpen ( ) : bool

Method Details

Append() public static méthode

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

Close() public static méthode

Closes the interaction log.
public static Close ( ) : void
Résultat void

Open() public static méthode

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