☰
Libraries
.
CRMLtoModelica
.
Functions
.
add4
OMC
latest
demo
☼
function
add4
Boolean4 accumulation operator for requirements
Inputs
Type
Name
Default
Description
Boolean4
x1
Boolean4
x2
Outputs
Type
Name
Default
Description
Boolean4
y