.Modelica_Requirements.LogicalFunctions

Information

Sublibrary LogicalFunctions contains operators without memory, implemented as Modelica functions. The input arguments of these functions have 2-valued logic type (Boolean). The output arguments of these functions have 2-valued or 3-valued logic type (Boolean or Property). The provided operators reason about their input arguments based on Boolean algebra. The icon of a function depends on the the type of its output argument (whether it is Boolean or Property).

Contents

Name Description
 card Returns the number of elements of a Boolean vector that are true
 exists Returns true if at least one element of a Boolean vector is true ('or' of all elements)
 forall Returns true if all elements of a Boolean vector are true ('and' of all elements)
 implies Returns check as long as the condition is true, otherwise returns true
 first Returns the value of the first element of a Boolean vector
 last Returns the value of the last element of a Boolean vector
 oneTrue Returns true if exactly one element of a Boolean vector is true ('xor' of all elements)
 PropertyToBoolean Convert Property (Violated, Undecided, Satisfied) to Boolean (false, true)
 PropertyToInteger Convert Property (Violated, Undecided, Satisfied) to Integer (1,2,3)
 BooleanToProperty Convert Boolean (false,true) to Property (Violated, Satisfied)
 IntegerToProperty Convert Integer (1,2,3) to Property (Violated, Undecided, Satisfied)
 during Return Satisfied when check is true as long as condition is true
 during3 Return Satisfied when check is Satisfied as long as condition is true (check: 3-valued logic)
 forall3 Returns Violated, if at least one element of the Property vector is Violated (vector: 3-valued logic)
 cardSatisfied Returns the number of elements of a Property vector that are Satisfied
 cardUndecided Returns the number of elements of a Property vector that are Undecided
 cardViolated Returns the number of elements of a Property vector that are Violated

Generated at 2019-09-15T01:38:28Z by OpenModelicaOpenModelica 1.14.0~dev-26728-gbf603de using GenerateDoc.mos