modelCheckAirCircuitSystem
Extends from Components.AirCircuitSystem_B (Behavioral model ofair circuit system).
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica.Fluid.System | system (from AirCircuitSystem_B) | ||
| Modelica.Fluid.Pipes.DynamicPipe | pipe2 (from AirCircuitSystem_B) | ||
| Modelica.Fluid.Sources.FixedBoundary | boundary2 (from AirCircuitSystem_B) | ||
| Modelica.Fluid.Sources.FixedBoundary | boundary1 (from AirCircuitSystem_B) | ||
| Modelica.Fluid.Pipes.StaticPipe | pipe1 (from AirCircuitSystem_B) | ||
| Verify.PrintViolations | printViolations | ||
| Components.Requirements.PipeRequirements | pipe2Requirements |