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

F

fairSelect() - Method in class jcsp.lang.Alternative

Returns the index of one of the ready guards.

fairSelect(boolean[]) - Method in class jcsp.lang.Alternative

Returns the index of one of the ready guards whose preCondition index is true.

fallInto() - Method in class jcsp.lang.Bucket

Fall into the bucket.

Fibonacci - class jcsp.plugNplay.Fibonacci.

This generates the Fibonacci sequence on its output channel.

Fibonacci(ChannelOutput) - Constructor for class jcsp.plugNplay.Fibonacci

Construct a new Fibonacci process with the output Channel out.

FibonacciInt - class jcsp.plugNplay.ints.FibonacciInt.

This generates the Fibonacci sequence on its output channel.

FibonacciInt(ChannelOutputInt) - Constructor for class jcsp.plugNplay.ints.FibonacciInt

Construct a new FibonacciInt process with the output Channel out.

finish() - Static method in class jcsp.lang.SpuriousLog

Finish logging of spurious wakeups.

FixedDelay - class jcsp.plugNplay.FixedDelay.

This holds on to data from its input channel for a fixed delay before passing it on to its output channel.

FixedDelay(long, ChannelInput, ChannelOutput) - Constructor for class jcsp.plugNplay.FixedDelay

Construct a new FixedDelay process with the input Channel in and the output Channel out.

FixedDelayInt - class jcsp.plugNplay.ints.FixedDelayInt.

This holds on to data from its input channel for a fixed delay before passing it on to its output channel.

FixedDelayInt(long, ChannelInputInt, ChannelOutputInt) - Constructor for class jcsp.plugNplay.ints.FixedDelayInt

Construct a new FixedDelayInt process with the input Channel in and the output Channel out.

flush() - Method in class jcsp.lang.Bucket

Flush the bucket.

fork() - Method in class jcsp.lang.Any2AnyCallChannel

This is invoked by a client during the standard calling sequence.

fork() - Method in class jcsp.lang.One2AnyCallChannel

This is invoked by a client during the standard calling sequence.

fork() - Method in class jcsp.lang.Any2OneCallChannel

This is invoked by a client during the standard calling sequence.

fork() - Method in class jcsp.lang.One2OneCallChannel

This is invoked by a client during the standard calling sequence.

FramedButton - class jcsp.plugNplay.FramedButton.

A free-standing button process in its own frame, with configure and event channels.

FramedButton(String, int, int, ChannelInput, ChannelOutput) - Constructor for class jcsp.plugNplay.FramedButton

Construct a framed button process.

FramedButtonArray - class jcsp.plugNplay.FramedButtonArray.

A free-standing array of button processes in their own frame, with configure and event channels.

FramedButtonArray(String, int, int, int, boolean, ChannelInput[], ChannelOutput[]) - Constructor for class jcsp.plugNplay.FramedButtonArray

Construct a framed button array process.

FramedButtonGrid - class jcsp.plugNplay.FramedButtonGrid.

A free-standing grid of button processes in their own frame, with configure and event channels.

FramedButtonGrid(String, int, int, int, int, ChannelInput[][], ChannelOutput[][]) - Constructor for class jcsp.plugNplay.FramedButtonGrid

Construct a framed button grid process.

FramedScrollbar - class jcsp.plugNplay.FramedScrollbar.

A free-standing scrollbar process in its own frame, with configure and event channels.

FramedScrollbar(String, int, int, ChannelInput, ChannelOutputInt, boolean, int, int, int, int) - Constructor for class jcsp.plugNplay.FramedScrollbar

Construct a framed scrollbar process.

FULL - Static variable in interface jcsp.util.ChannelDataStore

Indicates that the ChannelDataStore is full -- it can accept only a get.

FULL - Static variable in interface jcsp.util.ints.ChannelDataStoreInt

Indicates that the ChannelDataStoreInt is full -- it can accept only a get.