TruthTableUpdate (issie)

TruthTableUpdate Module

Namespace: global
Assembly: Renderer.dll

Functions and values

Function or value	Description
`applyNumericalOutputConstraint table con` Full Usage: `applyNumericalOutputConstraint table con` Parameters: table : `Map<TruthTableRow, TruthTableRow>` con : `Constraint` Returns: `Map<TruthTableRow, TruthTableRow>`	Apply a single numerical output constraint to a Truth Table Map table : `Map<TruthTableRow, TruthTableRow>` con : `Constraint` Returns: `Map<TruthTableRow, TruthTableRow>`
`compareCellData cd1 cd2` Full Usage: `compareCellData cd1 cd2` Parameters: cd1 : `CellData` cd2 : `CellData` Returns: `int`	Comparison function for CellData values cd1 : `CellData` cd2 : `CellData` Returns: `int`
`getTruthTableOrFail model msg` Full Usage: `getTruthTableOrFail model msg` Parameters: model : `Model` msg : `string` Returns: `TruthTable`	model : `Model` msg : `string` Returns: `TruthTable`
`sortByIO io lst` Full Usage: `sortByIO io lst` Parameters: io : `CellIO` lst : `TruthTableRow list` Returns: `TruthTableRow list`	io : `CellIO` lst : `TruthTableRow list` Returns: `TruthTableRow list`
`tTTypeInit` Full Usage: `tTTypeInit` Returns: `TTType`	Initial value of model Returns: `TTType`
`truncationWarning table` Full Usage: `truncationWarning table` Parameters: table : `TruthTable` Returns: `string`	table : `TruthTable` Returns: `string`
`truthTableUpdate model msg` Full Usage: `truthTableUpdate model msg` Parameters: model : `Model` msg : `TTMsg` Returns: `Model * Cmd<Msg>`	Elmish Update function for Truth Table messages (TTMsg) model : `Model` msg : `TTMsg` Returns: `Model * Cmd<Msg>`