Rewrites this circuit by identifying opportunities for parallelism and turning Seq elements
into Par elements where possible.
This makes for a better rendering.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax member Fold :
agressive : FSharpOption<bool> -> Circuit
Parameters
- agressive
- Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option to fold as much as possible by decomposing this circuit
into basic gates before folding.
The default is to not decompose Wrap gates and other aggregates before folding.
Return Value
Type:
CircuitThe new folded circuit
See Also