Click or drag to resize
NoiseDump Method
Dumps noise statistics from the last run.

Namespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax
F#
Copy
member Dump : 
        f : FSharpOption<FSharpFunc<int, FSharpFunc<string, Unit>>> * 
        level : FSharpOption<int> * 
        doStats : FSharpOption<bool> -> unit

Parameters

f
Type: Microsoft.FSharp.CoreFSharpOptionFSharpFuncInt32, FSharpFuncString, Unit
The optional output function to use. The default is showLogInd.
level
Type: Microsoft.FSharp.CoreFSharpOptionInt32
The optional indentation level. The default is 0.
doStats
Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option to dump full statistics. The default is false, in which case summary statistics per gate pattern are displayed.
See Also