.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;

Generated at 2024-12-03T19:25:34Z by OpenModelicaOpenModelica 1.24.2 using GenerateDoc.mos