.Modelica_Requirements.Examples.AirCircuitSystem.Components

Utility components needed for example

Contents

Name Description
 AirCircuitSystem_B Behavioral model ofair circuit system
 Requirements Observation records
 Bindings Functions to map variables from the target to the requirement component
Generated at 2026-07-05T18:59:05Z by OpenModelicaOpenModelica 1.27.0 using GenerateDoc.mos