| Name | Description |
|---|---|
| DCMotorWatching | Signals observed from a DC motor as needed by DCMotorRequirements block |
| DCMotorRequirements | Requirements for one DC Motor |
| watchDCMotor | Map data from Modelica.Electrical.Machines.BasicMachines.DCMachines.DC_PermanentMagnet to DCMotor |
| Verify | Check requirements of OpenTanks and of Pumps |