functionimplies

Returns check as long as the condition is true, otherwise returns true

Extends from Modelica.Icons.Function (Icon for functions).

Information

Syntax

implies(condition, check);

Description

If condition is true, the function returns check. Otherwise, it returns true.

Example

The property is demonstrated with the following example calling the function as:

property = implies(condition,check)
simulation result

Inputs

TypeNameDefaultDescription
Booleancondition
Booleancheck

Outputs

TypeNameDefaultDescription
Booleanresult