Click or drag to resize
GrowPars Constructor (FSharpOptionInt32, FSharpOptionInt32, FSharpOptionBoolean)
Creates an instance with appropriate parameters for Circuit.GrowGates, which generates a denser circuit equivalent to an existing Circuit.

Namespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax
F#
new : 
        maxWires : FSharpOption<int> * 
        verbose : FSharpOption<int> * 
        allowDense : FSharpOption<bool> -> GrowPars

Parameters

maxWires
Type: Microsoft.FSharp.CoreFSharpOptionInt32
An optional value for MaxWires. The default is 11.
verbose
Type: Microsoft.FSharp.CoreFSharpOptionInt32
An optional value for Verbosity. The default is 0.
allowDense
Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An optional value for AllowDense. The default is false.
See Also