GateShowMem Method (Int32, String, FSharpOptionFSharpListCircuit, FSharpOptionBoolean, FSharpOptionBoolean) |
Outputs memory and garbage collection statistics to the log and console.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax static member ShowMem :
seconds : int *
str : 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. - str
- Type: SystemString
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