Microsoft.Z3.Log.Close C# (CSharp) Method

Log Class Documentation Show file Open project: sslab-gatech/juxta

Close() public static method

Closes the interaction log.
public static Close ( ) : void
return void 
        public static void Close()
        {
            m_is_open = false;
            Native.Z3_close_log();
        }
Log
Append
Close
Open
isOpen