ALT is used to create an Alternative
object
Company: Napier University
Constructor and description |
---|
ALT
(ChannelInputList channelList) ALT extends the Alternative class of JCSP
ALT takes a list of Guards as its constructor parameter
and converts them to an array of Guards
as required by Alternative |
ALT
(java.util.List guardList) |
Methods inherited from class | Name |
---|---|
class org.jcsp.lang.Alternative |
org.jcsp.lang.Alternative#select(), org.jcsp.lang.Alternative#select([Z), org.jcsp.lang.Alternative#priSelect([Z), org.jcsp.lang.Alternative#priSelect(), org.jcsp.lang.Alternative#fairSelect(), org.jcsp.lang.Alternative#fairSelect([Z), org.jcsp.lang.Alternative#wait(), org.jcsp.lang.Alternative#wait(long, int), org.jcsp.lang.Alternative#wait(long), org.jcsp.lang.Alternative#equals(java.lang.Object), org.jcsp.lang.Alternative#toString(), org.jcsp.lang.Alternative#hashCode(), org.jcsp.lang.Alternative#getClass(), org.jcsp.lang.Alternative#notify(), org.jcsp.lang.Alternative#notifyAll() |
class java.lang.Object |
java.lang.Object#wait(), java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |
ALT extends the Alternative
class of JCSP
ALT takes a list of Guards
as its constructor parameter
and converts them to an array of Guards
as required by Alternative
Copyright © 2008–2014 Václav Pech. All Rights Reserved.