.Modelica_Requirements.Examples.SimplePumpingSystem.Components.Bindings

Functions to map variables from the target to the requirement component

Contents

NameDescription
RecordsRecords containing observation variables used as inputs to the binding functions
TankObservation_from_OpenTankMap OpenTank variables to Tank observations record
PumpObservation_from_PrescribedPumpMap PrescribedPump variables to pump observations record
SourceObservation_from_PartialSourceMap PartialSource variables to Source observations record

Generated at 2025-12-13T19:13:59Z by OpenModelicaOpenModelica 1.25.7 using GenerateDoc.mos