.Modelica_Requirements.Examples.SimplePumpingSystem.Components.Bindings

Functions to map variables from the target to the requirement component

Contents

Name Description
 Records Records containing observation variables used as inputs to the binding functions
 TankObservation_from_OpenTank Map OpenTank variables to Tank observations record
 PumpObservation_from_PrescribedPump Map PrescribedPump variables to pump observations record
 SourceObservation_from_PartialSource Map PartialSource variables to Source observations record
Generated at 2026-05-04T18:18:56Z by OpenModelicaOpenModelica 1.26.7 using GenerateDoc.mos