.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-07-05T18:59:05Z by OpenModelicaOpenModelica 1.27.0 using GenerateDoc.mos