.CRMLtoModelica.Functions .CRMLtoModelica.Functions| 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 |