給水ポンプを抽象化したクラス。
| Attribute | Type | Description | ||
|---|---|---|---|---|
| * | pomp_no | integer |
ポンプを特定する属性。ポンプが複数あった場合にこの属性で特定できる。 |
|
| restart | boolean |
再給水されたことを示す TRUE：再スタート開始 FALSE：再スタート開始しない |
||
| wait_time | R4 | (Referential Attribute) | (Same as 運転.wait_time) |
| Relationship |
1つのポンプが1つの竹筒に給水するという関係を表す。
あるポンプにおける、水はね防止のタイミング値を定義するという関係を表す。
| State Transition Table |
| S_P1 | S_P2 | S_P3 | S_P4 | S_P5 | |
|---|---|---|---|---|---|
| 1.給水停止 | IG | IG | IG | IG | 2 |
| 2.給水中 | IG | IG | 3 | 1 | IG |
| 3.停止準備中 | IG | 4 | IG | IG | IG |
| 4.給水一時停止 | 2 | IG | IG | 1 | IG |
| Action |