Uses of Class
org.jcsp.lang.AltingBarrier

Packages that use AltingBarrier

org.jcsp.lang

This provides classes and interfaces corresponding to the fundamental primitives of CSP.

Uses of AltingBarrier in org.jcsp.lang

Methods in org.jcsp.lang that return AltingBarrier

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

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