給水ポンプを抽象化したクラス。
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 |