CSP for Java
(JCSP) 1.0-rc4
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.
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.
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.

CSP for Java
(JCSP) 1.0-rc4
A B C D E F G H I J M N O P R S T U V W X Z
Submit a bug or feature to jcsp-team@ukc.ac.uk
Version 1.0-rc4 of the JCSP API Specification (Copyright 1997-2000 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.