.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-09-05T18:21:06Z by OpenModelicaOpenModelica 1.25.3 using GenerateDoc.mos