GrowPars Constructor (Boolean, FSharpOption(Int32), FSharpOption(Int32), FSharpOption(Int32), FSharpOption(FSharpList(Int32)), FSharpOption(Int32), FSharpOption(Boolean), FSharpOption(Boolean), FSharpOption(Tuple(Double, Boolean)))

Liquid Quantum Simulator

previous page next page
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
previous page start next page