.Modelica_Requirements.LogicalBlocks

Information

Library of logical blocks (2-/3-valued logical operators with and without memory)

Contents

Name Description
 BooleanToProperty Convert Boolean (false,true) to Property (Violated, Satisfied)
 IntegerToProperty Convert Integer (1,2,3) to Property (Violated, Undecided, Satisfied)
 PropertyToBoolean Convert Property (Violated, Undecided, Satisfied) to Boolean (false, true)
 PropertyToInteger Convert Property (Violated, Undecided, Satisfied) to Integer (1,2,3)
 GreaterThreshold Output y is true if input u is greater than threshold
 GreaterEqualThreshold Output y is true if input u is greater or equal than threshold
 LessThreshold Output y is true if input u is less than threshold
 LessEqualThreshold Output y is true if input u is less or equal than threshold
 WithinBand Output y is true if input u is within a lower and upper threshold
 DelayedRising Output y is true after a duration of a rising input edge and false after a falling input edge
 AnyTrue Output y is true if at least on input is true ("or" of all inputs)
 AllTrue Output y is true if all inputs are true ("and" of all inputs)
 PropertyNot 3-valued logic 'not' of Property input u: y = not u
 PropertyOr 3-valued logic 'or' of Property input u: y = u[1] or u[2] or ... or u[nu]
 PropertyAnd 3-valued logic 'and' of Property input u: y = u[1] and u[2] and ... and u[nu]
 FallingEdgeTerminate Terminate simulation when a falling edge of the input u occurs

Generated at 2019-09-15T01:38:28Z by OpenModelicaOpenModelica 1.14.0~dev-26728-gbf603de using GenerateDoc.mos