ALT provides an easier way of creating the non-deterministic choice Alternative class of JCSP
Constructor and description |
---|
ALT
(ChannelInputList channelList) If the ALT operates over a set of Alting Channel Input Ends these can be passed as a ChannelInputList |
ALT
(List guardList) ALT takes a list of Guards as its constructor parameter
and converts them to an array of Guards
as required by Alternative . |
If the ALT operates over a set of Alting Channel Input Ends these can be passed as a ChannelInputList
channelList
- A list of channel input ends ALT takes a list of Guards
as its constructor parameter
and converts them to an array of Guards
as required by Alternative
.
guardList
- A list of Guards
including channel input ends, timer alarms and SKIPGroovy JCSP for Java 1.8 and Groovy 2.4 generated 18-09-2017 (c) Jon Kerridge, Edinburgh Napier University