| Util Class |
General utilities used by the rest of the system
Inheritance HierarchyNamespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
SyntaxF#
[<AbstractClassAttribute>] [<SealedAttribute>] type Util = class end
The Util type exposes the following members.
Properties| Name | Description | |
|---|---|---|
  | copyright |
Copyright notice for Liquid.
|
| interactive | |
| outputPrefix |
Global override for the prefix used for output functions (show and variants).
|
| sqrt2 |
Highly accurate square root of 2, for use building unitary matrices.
|
Methods| Name | Description | |
|---|---|---|
 | __show |
Shows a line of output.
This is a command line-callable routine.
|
| getFlgPar |
Extracts a boolean macro definition from a command option dictionary.
|
| getFltPar |
Extracts a float macro definition from a command option dictionary.
|
| getIntPar |
Extracts an integer macro definition from a command option dictionary.
|
| getIntsPar |
Extracts an integer list macro definition from a command option dictionary.
|
| getStrPar |
Extracts a string macro definition from a command option dictionary.
|
| Normal |
Add a Normal distribution to the System.Random class.
This is an extension method and may be used as if it were an instance method on Random.
|
| PermAry |
Create a random permutation array (call .permute with results)
This is an extension method and may be used as if it were an instance method on Random.
|
| procStats |
Gets current process memory usage statistics.
|
| showa |
Shows a line of output to the console and the log file.
|
| showBareInd |
Shows an indented line of output, with no prefix, to the console and log file.
This routine is used by or with various Dump() routines.
|
| showBareLogInd |
Shows an indented line of output, with no prefix, to the log file.
This routine is used by or with various Dump() routines.
|
| showDump |
Dumps out a string with with an optional indentation.
|
| showInd |
Shows an indented line of output to the console and log file.
This routine is used by or with various Dump() routines.
|
| showLoga |
Shows a line of output to the log file.
|
| showLogInd |
Shows an indented line of output to the log file.
This routine is used by or with various Dump() routines.
|
| showProcStats |
Print process memory usage statistics to the console and log file.
|
See Also