Uses of Class
org.jcsp.lang.AltingBarrier
Packages that use AltingBarrier
Package
Description
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 AltingBarrierModifier and TypeMethodDescriptionstatic AltingBarrierAltingBarrier.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.expand()This expands by one the number of processes enrolled in this alting barrier.AltingBarrier.expand(int n) This expands the number of processes enrolled in this alting barrier.Methods in org.jcsp.lang with parameters of type AltingBarrierModifier and TypeMethodDescriptionvoidAltingBarrier.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 AltingBarrierModifierConstructorDescriptionBarrierSyncer(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)