Click or drag to resize
GateShowMem Method (Int32, FSharpFuncUnit, String, FSharpOptionFSharpListCircuit, FSharpOptionBoolean, FSharpOptionBoolean)
Outputs memory and garbage collection statistics to the log and console.

Namespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax
F#
static member ShowMem : 
        seconds : int * 
        f : FSharpFunc<Unit, string> * 
        cs : FSharpOption<FSharpList<Circuit>> * 
        deep : FSharpOption<bool> * 
        collect : FSharpOption<bool> -> unit 

Parameters

seconds
Type: SystemInt32
A minimum interval between reports. If a report was displayed within more recently, then no new report is displayed.
f
Type: Microsoft.FSharp.CoreFSharpFuncUnit, String
A function that returns a string to output as a prefix to the report.
cs
Type: Microsoft.FSharp.CoreFSharpOptionFSharpListCircuit
An optional list of Circuits to analyze. The count of Circuits in the list is reported. If the "deep" parameter is true, then the total count of gates in these Circuits is also reported. The default is an empty list, which displays counts of 0.
deep
Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option indicating whether or not to count the gates in the list of Circuits. The default is false, which indicates that the gates should not be counted and will be reported as 0.
collect
Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option indicating whether to force a garbage collection. The default is false, to not force a collection.
See Also