Dump vector MCC with provided function
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax member DumpMCC :
f : FSharpOption<FSharpFunc<int, FSharpFunc<string, Unit>>> *
level : FSharpOption<int> *
thresh : FSharpOption<float> *
both : FSharpOption<bool> *
maxNZ : FSharpOption<int> -> unit
Parameters
- f
- Type: Microsoft.FSharp.CoreFSharpOptionFSharpFuncInt32, FSharpFuncString, Unit
The optional output function to use.
The default is showLogInd. - level
- Type: Microsoft.FSharp.CoreFSharpOptionInt32
The optional indentation level. The default is 0. - thresh
- Type: Microsoft.FSharp.CoreFSharpOptionDouble
Output threshold (optional=tol*1.e+2) - both
- Type: Microsoft.FSharp.CoreFSharpOptionBoolean
Output complex value as well (optional=false) - maxNZ
- Type: Microsoft.FSharp.CoreFSharpOptionInt32
Max non-zeros to dump (optional=256)
See Also