ConstraintReduceView (issie)

ConstraintReduceView Module

Namespace: global
Assembly: Renderer.dll

Functions and values

Function or value	Description
`addToolTipRight tip react` Full Usage: `addToolTipRight tip react` Parameters: tip : `'a` react : `ReactElement` Returns: `ReactElement`	Adds a tooltip to a ReactElement which appears to the right of the element tip : `'a` react : `ReactElement` Returns: `ReactElement`
`addToolTipTop tip react` Full Usage: `addToolTipTop tip react` Parameters: tip : `'a` react : `ReactElement` Returns: `ReactElement`	Adds a tooltip to a ReactElement which appears above the element tip : `'a` react : `ReactElement` Returns: `ReactElement`
`algebraKey` Full Usage: `algebraKey` Returns: `ReactElement`	Returns: `ReactElement`
`constraintsOverlap con1 con2` Full Usage: `constraintsOverlap con1 con2` Parameters: con1 : `Constraint` con2 : `Constraint` Returns: `bool`	Return true if two constraints overlap Example 1: 2 < X < 7 and 5 < X < 21 Example 2: 2 < X < 7 and X = 4 con1 : `Constraint` con2 : `Constraint` Returns: `bool`
`createAlgKeyPopup dispatch` Full Usage: `createAlgKeyPopup dispatch` Parameters: dispatch : `Msg -> Unit` Returns: `Unit`	dispatch : `Msg -> Unit` Returns: `Unit`
`createAlgReductionPopup model dispatch` Full Usage: `createAlgReductionPopup model dispatch` Parameters: model : `Model` dispatch : `Msg -> Unit` Returns: `Unit`	model : `Model` dispatch : `Msg -> Unit` Returns: `Unit`
`createInputConstraintPopup model dispatch` Full Usage: `createInputConstraintPopup model dispatch` Parameters: model : `Model` dispatch : `Msg -> Unit` Returns: `Unit`	Popup for creating a new input constraint model : `Model` dispatch : `Msg -> Unit` Returns: `Unit`
`createOutputConstraintPopup model dispatch` Full Usage: `createOutputConstraintPopup model dispatch` Parameters: model : `Model` dispatch : `Msg -> Unit` Returns: `Unit`	Popup for creating a new output constraint model : `Model` dispatch : `Msg -> Unit` Returns: `Unit`
`dialogPopupNumericalConBody cellIOs existingCons infoMsg dispatch` Full Usage: `dialogPopupNumericalConBody cellIOs existingCons infoMsg dispatch` Parameters: cellIOs : `CellIO list` existingCons : `ConstraintSet` infoMsg : `string` dispatch : `Msg -> Unit` Returns: `Model -> ReactElement`	Body of the popup for adding input/output numerical constraints cellIOs : `CellIO list` existingCons : `ConstraintSet` infoMsg : `string` dispatch : `Msg -> Unit` Returns: `Model -> ReactElement`
`dialogPopupReductionBody inputs tableSD dispatch model'` Full Usage: `dialogPopupReductionBody inputs tableSD dispatch model'` Parameters: inputs : `(ComponentId * ComponentLabel * int) list` tableSD : `SimulationData` dispatch : `Msg -> unit` model' : `Model` Returns: `ReactElement`	inputs : `(ComponentId * ComponentLabel * int) list` tableSD : `SimulationData` dispatch : `Msg -> unit` model' : `Model` Returns: `ReactElement`
`inCon2str con` Full Usage: `inCon2str con` Parameters: con : `Constraint` Returns: `string`	Convert a constraint to its string representation con : `Constraint` Returns: `string`
`makeElementLine elsLeftAlign elsRightAlign` Full Usage: `makeElementLine elsLeftAlign elsRightAlign` Parameters: elsLeftAlign : `ReactElement list` elsRightAlign : `ReactElement list` Returns: `ReactElement`	elsLeftAlign : `ReactElement list` elsRightAlign : `ReactElement list` Returns: `ReactElement`
`makeOnOffToggle algIsAllowed valueState changeAction onText offText` Full Usage: `makeOnOffToggle algIsAllowed valueState changeAction onText offText` Parameters: algIsAllowed : `bool` valueState : `bool` changeAction : `MouseEvent -> unit` onText : `string` offText : `string` Returns: `ReactElement`	algIsAllowed : `bool` valueState : `bool` changeAction : `MouseEvent -> unit` onText : `string` offText : `string` Returns: `ReactElement`
`validateAlgebraInput (arg1, arg2, arg3) fsi tableSD` Full Usage: `validateAlgebraInput (arg1, arg2, arg3) fsi tableSD` Parameters: arg0 : `ComponentId` arg1 : `ComponentLabel` arg2 : `int` fsi : `FSInterface` tableSD : `SimulationData` Returns: `Result<int, SimulationError>`	Checks if changing an input to Algebra/Values results in a valid simulation (i.e. an AlgebraNotImplemented exception is not raised) arg0 : `ComponentId` arg1 : `ComponentLabel` arg2 : `int` fsi : `FSInterface` tableSD : `SimulationData` Returns: `Result<int, SimulationError>`
`validateNumericalConstraint con allConstraints` Full Usage: `validateNumericalConstraint con allConstraints` Parameters: con : `Constraint` allConstraints : `ConstraintSet` Returns: `Result<Constraint, string>`	Check if a newly added numerical constraint is valid and consistent with current constraints con : `Constraint` allConstraints : `ConstraintSet` Returns: `Result<Constraint, string>`
`viewConstraints model dispatch` Full Usage: `viewConstraints model dispatch` Parameters: model : `Model` dispatch : `Msg -> Unit` Returns: `ReactElement`	View function for the constraints section on the right-tab model : `Model` dispatch : `Msg -> Unit` Returns: `ReactElement`
`viewNumericalConstraints cons dispatch` Full Usage: `viewNumericalConstraints cons dispatch` Parameters: cons : `ConstraintSet` dispatch : `TTMsg -> unit` Returns: `ReactElement`	View a list of numerical constraints in tag form, with delete buttons cons : `ConstraintSet` dispatch : `TTMsg -> unit` Returns: `ReactElement`
`viewReductions table model dispatch` Full Usage: `viewReductions table model dispatch` Parameters: table : `TruthTable` model : `Model` dispatch : `Msg -> Unit` Returns: `ReactElement`	table : `TruthTable` model : `Model` dispatch : `Msg -> Unit` Returns: `ReactElement`