implies(condition, check);
If condition is true, the function returns check. Otherwise, it returns true.
The property is demonstrated with the following example calling the function as:
property = implies(condition,check)
simulation result |
function implies extends Modelica.Icons.Function; input Boolean condition; input Boolean check; output Boolean result; end implies;