.Buildings.Controls.OBC.CDL.Logical .Buildings.Controls.OBC.CDL.LogicalPackage with blocks for elementary mathematical functions for boolean variables.
| Name | Description |
|---|---|
 And | Logical 'and': y = u1 and u2 |
 Change | Output y is true, if the input u has a rising or falling edge (y = change(u)) |
 Edge | Output y is true, if the input u has a rising edge (y = edge(u)) |
 FallingEdge | Output y is true, if the input u has a falling edge (y = edge(not u)) |
 Latch | Maintains a true signal until cleared |
 MultiAnd | Logical MultiAnd, y = u[1] and u[2] and u[3] and ... |
 MultiOr | Logical MultiOr, y = u[1] or u[2] or u[3] or ... |
 Nand | Logical 'nand': y = not (u1 and u2) |
 Nor | Logical 'nor': y = not (u1 or u2) |
 Not | Logical not |
 Or | Logical 'or': y = u1 or u2 |
 Pre | Breaks algebraic loops by adding a delay of the output without advancing time (y = pre(u): event iteration continues until u = pre(u)) |
 Proof | Verify two boolean inputs |
 Switch | Switch between two boolean signals |
 Timer | Timer measuring the time from the time instant where the Boolean input became true |
 TimerAccumulating | Accumulating timer that can be reset |
 Toggle | Toggles output value whenever its input turns true |
 TrueDelay | Delay a rising edge of the input, but do not delay a falling edge |
 TrueFalseHold | Block that holds an output signal for at least a specified duration |
 VariablePulse | Generate boolean pulse with the width specified by input |
 Xor | Logical 'xor': y = u1 xor u2 |
 Sources | Package with blocks that generate source signals |
 Validation | Collection of models that validate the logical blocks of the CDL |