TruthTableCreate (issie)

TruthTableCreate Module

Namespace: global
Assembly: Renderer.dll

Functions and values

Function or value	Description
`constrainedValuesandLength arg1` Full Usage: `constrainedValuesandLength arg1` Parameters: arg0 : `ConstraintSet` Returns: `int seq * int`	arg0 : `ConstraintSet` Returns: `int seq * int`
`getConstraintsOnIO io constraints` Full Usage: `getConstraintsOnIO io constraints` Parameters: io : `CellIO` constraints : `ConstraintSet` Returns: `ConstraintSet`	io : `CellIO` constraints : `ConstraintSet` Returns: `ConstraintSet`
`katex` Full Usage: `katex` Returns: `obj`	Returns: `obj`
`product seq1 seq2` Full Usage: `product seq1 seq2` Parameters: seq1 : `'a seq` seq2 : `'a seq seq` Returns: `'a seq seq`	seq1 : `'a seq` seq2 : `'a seq seq` Returns: `'a seq seq`
`productn s` Full Usage: `productn s` Parameters: s : `'a seq` Returns: `'a0 seq seq`	Find the Cartesian product of n sets, implemented with Sequences s : `'a seq` Returns: `'a0 seq seq`
`simulateInputCombination rowLHS outputs simData` Full Usage: `simulateInputCombination rowLHS outputs simData` Parameters: rowLHS : `TruthTableRow` outputs : `SimulationIO list` simData : `SimulationData` Returns: `TruthTableRow`	Feeds the given input combination (LHS Row) to the table's Fast Simulation and extracts the simulated output combination (RHS Row). rowLHS : `TruthTableRow` outputs : `SimulationIO list` simData : `SimulationData` Returns: `TruthTableRow`
`tableAsList tMap` Full Usage: `tableAsList tMap` Parameters: tMap : `Map<'a list, 'a list>` Returns: `'a list list`	Converts a Truth Table from a Mapping to a list of its rows. Note that separation of inputs and outputs is lost. tMap : `Map<'a list, 'a list>` Returns: `'a list list`
`tableLHS inputs ttt` Full Usage: `tableLHS inputs ttt` Parameters: inputs : `SimulationIO list` ttt : `TTType` Returns: `TruthTableRow list * int`	Find all LHS rows of the Truth Table, limited by input constraints and bit limit inputs : `SimulationIO list` ttt : `TTType` Returns: `TruthTableRow list * int`
`toCellIO simIOs viewers` Full Usage: `toCellIO simIOs viewers` Parameters: simIOs : `SimulationIO list` viewers : `((string * string) * int * 'a) list` Returns: `CellIO list`	Wraps SimulationIO and Viewer types in the CellIO DU Type simIOs : `SimulationIO list` viewers : `((string * string) * int * 'a) list` Returns: `CellIO list`
`truthTable simData ttType isRegeneration` Full Usage: `truthTable simData ttType isRegeneration` Parameters: simData : `SimulationData` ttType : `TTType` isRegeneration : `bool` Returns: `TruthTable`	Create a Truth Table from Simulation Data, taking into account algebraic inputs and input constriants. simData : `SimulationData` ttType : `TTType` isRegeneration : `bool` Returns: `TruthTable`