TruthTableTypes (issie) | issie

TruthTableTypes Module

Namespace: global
Assembly: Renderer.dll

Types

Type	Description
CellData
CellIO
Constraint
ConstraintSet
ConstraintType
EqualityConstraint
InequalityConstraint
MapToUse
MoveDirection
SortType
TableInput
TruthTable
TruthTableCell
TruthTableRow

Functions and values

Function or value	Description
`emptyConstraintSet` Full Usage: `emptyConstraintSet` Returns: `ConstraintSet`	Returns: `ConstraintSet`
`equalities_` Full Usage: `equalities_` Returns: `Lens<ConstraintSet, EqualityConstraint list>`	Returns: `Lens<ConstraintSet, EqualityConstraint list>`
`inequalities_` Full Usage: `inequalities_` Returns: `Lens<ConstraintSet, InequalityConstraint list>`	Returns: `Lens<ConstraintSet, InequalityConstraint list>`
`initTableInput (arg1, arg2, arg3) allConstraints algebraIOs` Full Usage: `initTableInput (arg1, arg2, arg3) allConstraints algebraIOs` Parameters: arg0 : `ComponentId` arg1 : `ComponentLabel` arg2 : `int` allConstraints : `ConstraintSet` algebraIOs : `SimulationIO list` Returns: `TableInput`	Create a TableInput data structure from a SimulationIO using application state arg0 : `ComponentId` arg1 : `ComponentLabel` arg2 : `int` allConstraints : `ConstraintSet` algebraIOs : `SimulationIO list` Returns: `TableInput`
`isEqu c` Full Usage: `isEqu c` Parameters: c : `ConstraintType` Returns: `bool`	c : `ConstraintType` Returns: `bool`
`makeInequalityConstraint lower io upper` Full Usage: `makeInequalityConstraint lower io upper` Parameters: lower : `int` io : `CellIO` upper : `int` Returns: `InequalityConstraint`	lower : `int` io : `CellIO` upper : `int` Returns: `InequalityConstraint`
`orderConstraints set` Full Usage: `orderConstraints set` Parameters: set : `ConstraintSet` Returns: `ConstraintSet`	set : `ConstraintSet` Returns: `ConstraintSet`
`rowContainsAlgebra row` Full Usage: `rowContainsAlgebra row` Parameters: row : `TruthTableRow` Returns: `bool`	Returns true if a row contains algebra row : `TruthTableRow` Returns: `bool`
`rowContainsDC row` Full Usage: `rowContainsDC row` Parameters: row : `TruthTableRow` Returns: `bool`	Returns true if a row contains a Don't Care (X) row : `TruthTableRow` Returns: `bool`