C# Класс Microsoft.Z3.Log

Показать файл Открыть проект

Открытые методы

Метод Описание
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.

Приватные методы

Метод Описание
isOpen ( ) : bool

Описание методов

Append() публичный статический Метод

Appends the user-provided string s to the interaction log.
public static Append ( string s ) : void
s string
Результат void

Close() публичный статический Метод

Closes the interaction log.
public static Close ( ) : void
Результат void

Open() публичный статический Метод

Open an interaction log file.
public static Open ( string filename ) : bool
filename string the name of the file to open
Результат bool