# .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