|
| 模式名 |
语法类型检查 |
域检查 |
减少 |
减少证明 |
|
| 图 |
Y |
Y |
Y* |
Y |
| 门,门 |
Y |
Y |
NA |
Y |
| 围裙,围裙 |
Y |
Y |
NA |
Y |
| 滑行道,滑行道的 |
Y |
Y |
NA |
Y |
| AirportTopology |
Y |
Y |
Y* |
Y |
| 飞机,飞机 |
Y |
Y |
NA |
Y |
| GateController |
Y |
Y |
NA |
Y |
| ApronController |
Y |
Y |
NA |
Y |
| RequestGate |
Y |
Y |
Y* |
Y |
| AssignGate |
Y |
Y |
NA |
Y |
| PushbackRequest |
Y |
Y |
NA |
Y |
| 飞机推迟起飞 |
Y |
Y |
Y* |
Y |
| TaxiRequest |
Y |
Y |
Y* |
Y |
| EnterTaxi |
Y |
Y |
Y* |
Y |
|
|
