Uses of Class
org.jcsp.lang.AltingBarrier

Packages that use AltingBarrier

Package	Description
org.jcsp.lang	This provides classes and interfaces corresponding to the fundamental primitives of CSP.
org.jcsp.test

Uses of AltingBarrier in org.jcsp.lang

Methods in org.jcsp.lang that return AltingBarrier

Modifier and Type	Method and Description
static AltingBarrier	AltingBarrier.create() This creates a new alting barrier with an (initial) enrollment count of 1.
static AltingBarrier[]	AltingBarrier.create(int n) This creates a new alting barrier with an (initial) enrollment count of n.
AltingBarrier	AltingBarrier.expand() This expands by one the number of processes enrolled in this alting barrier.
AltingBarrier[]	AltingBarrier.expand(int n) This expands the number of processes enrolled in this alting barrier.

Methods in org.jcsp.lang with parameters of type AltingBarrier

Modifier and Type	Method and Description
void	AltingBarrier.contract(AltingBarrier[] ab) This contracts the number of processes enrolled in this alting barrier.

Uses of AltingBarrier in org.jcsp.test

Constructors in org.jcsp.test with parameters of type AltingBarrier

Constructor and Description
BarrierSyncer(AltingBarrier barrier)
DelaySyncer(AltingBarrier barrier, int milliSeconds, int iterations)
ExtendedReaderSync(AltingBarrier[][] barriers, ChannelInput in, int iterations)
ExtendedReaderSync(AltingBarrier barrier, ChannelInput in, int iterations)
ExtendedReaderSyncInt(AltingBarrier[][] barriers, ChannelInputInt in, int iterations)
ExtendedReaderSyncInt(AltingBarrier barrier, ChannelInputInt in, int iterations)
WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier event)
WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier[][] events)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)