.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-10-08T18:21:08Z by OpenModelicaOpenModelica 1.25.4 using GenerateDoc.mos