.Modelica_Requirements.LogicalFunctions.implies

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

Interface

function implies
  extends Modelica.Icons.Function;
  input Boolean condition;
  input Boolean check;
  output Boolean result;
end implies;