.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-08-01T18:21:12Z by OpenModelicaOpenModelica 1.25.1 using GenerateDoc.mos