Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.net2 |
Modifier and Type | Field and Description |
---|---|
private Barrier |
Parallel.barrier
Used to synchronise the termination of processes in each run of Parallel
|
private Barrier |
ParThread.barrier
the barrier at the end of a PAR
|
private Barrier |
ParThread.park
parking barrier for this thread
|
Modifier and Type | Method and Description |
---|---|
void |
ParThread.reset(CSProcess process,
Barrier barrier)
reset the ParThread.
|
Constructor and Description |
---|
ParThread(CSProcess process,
Barrier barrier)
Construct a new ParThread.
|
Modifier and Type | Class and Description |
---|---|
class |
NetBarrier
This class is a networked implementation of the standard JCSP Barrier.
|