.Modelica_Requirements.Examples.SimplePumpingSystem.Components.Requirements.Records

Records containing observation variables needed by the Requirement models

Contents

NameDescription
 TankObservation variables from a tank
 PumpObservation variables from a pump
 SourceObservation variables from a source component
Generated at 2025-07-06T18:20:56Z by OpenModelicaOpenModelica 1.25.1 using GenerateDoc.mos