.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-04-14T18:18:34Z by OpenModelicaOpenModelica 1.26.3 using GenerateDoc.mos