Click or drag to resize
GrowPars Constructor (Boolean, FSharpOptionInt32, FSharpOptionInt32, FSharpOptionInt32, FSharpOptionFSharpListInt32, FSharpOptionInt32, FSharpOptionBoolean, FSharpOptionBoolean, FSharpOptionTupleDouble, Boolean)
Creates an instance with appropriate parameters for Circuit.GrowSingle, which generates a single unitary operation equivalent to an existing Circuit.

Namespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax
F#
Copy
new : 
        half : bool * 
        eCnt : FSharpOption<int> * 
        oCnt : FSharpOption<int> * 
        skip : FSharpOption<int> * 
        diff : FSharpOption<FSharpList<int>> * 
        verbose : FSharpOption<int> * 
        parity : FSharpOption<bool> * 
        redund : FSharpOption<bool> * 
        coalesce : FSharpOption<Tuple<float, bool>> -> GrowPars

Parameters

half
Type: SystemBoolean
The value for Half. This parameter is required.
eCnt
Type: Microsoft.FSharp.CoreFSharpOptionInt32
An optional value for ECnt. The default is 0.
oCnt
Type: Microsoft.FSharp.CoreFSharpOptionInt32
An optional value for OCnt. The default is 0.
skip
Type: Microsoft.FSharp.CoreFSharpOptionInt32
An optional value for Skip. The default is 0.
diff
Type: Microsoft.FSharp.CoreFSharpOptionFSharpListInt32
An optional value for ECnt. The default is an empty list, [].
verbose
Type: Microsoft.FSharp.CoreFSharpOptionInt32
An optional value for Verbose. The default is 1.
parity
Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An optional value for Parity. The default is false.
redund
Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An optional value for Redund. The default is 0.
coalesce
Type: Microsoft.FSharp.CoreFSharpOptionTupleDouble, Boolean
An optional value for Coalesce. The default is (0.0, false).
See Also