GrowPars Constructor (FSharpOption(Int32), FSharpOption(Int32), FSharpOption(Boolean))

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

new : 
        maxWires : FSharpOption<int> * 
        verbose : FSharpOption<int> * 
        allowDense : FSharpOption<bool> -> GrowPars

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.