packageFunctions
Contents
| Name | Description |
|---|---|
| cvBooleanToBoolean4 | Conversion from Boolean to Boolean4 |
| add4 | Boolean4 accumulation operator for requirements |
| mul4 | Boolean filter |
| or4 | Boolean4 or operator |
| not4 | Boolean4 not operator |
| and4 | Boolean4 and operator |
 TruthTables | |
| PStart | |
| PEnd | |
| gEV | |
| lEV | |
| Event2Boolean |