Next: , Previous: , Up: Partition-Wide Restrictions   [Contents][Index]


5.1.68 No_Terminate_Alternatives

[RM D.7] There are no selective accepts with terminate alternatives.