A B C D E F G H I J M N O P R S T U V W X Z

B

Barrier - class jcsp.lang.Barrier.

This enables barrier synchronisation between a set of processes.

Barrier() - Constructor for class jcsp.lang.Barrier

Construct a barrier initially associated with no processes.

Barrier(int) - Constructor for class jcsp.lang.Barrier

Construct a barrier (initially) associated with nEnrolled processes.

BarrierError - error jcsp.lang.BarrierError.

This is thrown for an illegal operation on an Barrier.

BarrierError(String) - Constructor for class jcsp.lang.BarrierError

BarrierSync - Static variable in class jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

BlackHole - class jcsp.plugNplay.BlackHole.

Black holes anything sent to it.

BlackHole(ChannelInput) - Constructor for class jcsp.plugNplay.BlackHole

Construct a new BlackHole process with the input Channel in.

BlackHoleChannel - class jcsp.lang.BlackHoleChannel.

This implements ChannelOutput with black hole semantics.

BlackHoleChannel() - Constructor for class jcsp.lang.BlackHoleChannel

BlackHoleChannelInt - class jcsp.lang.BlackHoleChannelInt.

This implements ChannelOutputInt with black hole semantics.

BlackHoleChannelInt() - Constructor for class jcsp.lang.BlackHoleChannelInt

BlackHoleInt - class jcsp.plugNplay.ints.BlackHoleInt.

Black holes anything sent to it.

BlackHoleInt(ChannelInputInt) - Constructor for class jcsp.plugNplay.ints.BlackHoleInt

Construct a new BlackHoleInt process with the input Channel in.

Bucket - class jcsp.lang.Bucket.

This enables bucket synchronisation between a set of processes.

Bucket() - Constructor for class jcsp.lang.Bucket

BucketFallInto - Static variable in class jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Buffer - class jcsp.util.Buffer.

This is used to create a buffered object channel that never loses data.

Buffer(int) - Constructor for class jcsp.util.Buffer

Construct a new Buffer with the specified size.

BufferInt - class jcsp.util.ints.BufferInt.

This is used to create a buffered integer channel that never loses data.

BufferInt(int) - Constructor for class jcsp.util.ints.BufferInt

Construct a new BufferInt with the specified size.

BufferIntSizeError - error jcsp.util.ints.BufferIntSizeError.

This is thrown if an attempt is made to create some variety of buffered channel with a zero or negative sized buffer.

BufferIntSizeError(String) - Constructor for class jcsp.util.ints.BufferIntSizeError

BufferSizeError - error jcsp.util.BufferSizeError.

This is thrown if an attempt is made to create some variety of buffered channel with a zero or negative sized buffer.

BufferSizeError(String) - Constructor for class jcsp.util.BufferSizeError