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 Description static AltingBarrier
AltingBarrier. create()
This creates a new alting barrier with an (initial) enrollment count of1
.static AltingBarrier[]
AltingBarrier. create(int n)
This creates a new alting barrier with an (initial) enrollment count ofn
.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 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 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, List values, AltingBarrier event)
WriterProcess(ChannelOutput out, List values, AltingBarrier[][] events)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
-