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

A

ALT - Class in groovyJCSP
ALT provides an easier way of creating the non-deterministic choice Alternative class of JCSP
ALT(List) - Constructor in ALT
ALT takes a list of Guards as its constructor parameter and converts them to an array of Guards as required by Alternative.
append(ChannelInput) - Method in ChannelInputList
Appends the channel input end or net channel input to the ChannelInputList.
append(ChannelOutput) - Method in ChannelOutputList
Appends the channel output end or net channel output to the ChannelOutputList.

B

broadcast(Object) - Method in ChannelOutputList
The broadcast method writes the same cloned value to each element of the ChannelOutputList.
broadcastSeq(Object) - Method in ChannelOutputList
The broadcastSeq method writes the cloned value to each element of the ChannelOutputList.

C

ChannelInputList - Class in groovyJCSP
ChannelInputList is used to create a list of ChannelInputEnds
ChannelInputList() - Constructor in ChannelInputList
ChannelInputList uses the ArrayList class of java This constructor creates an empty ArrayList to be populated with NetChannelInputs or Channel Input Ends
ChannelOutputList - Class in groovyJCSP
ChannelOutputList() - Constructor in ChannelOutputList
ChannelOutputList uses the ArrayList class of java This constructor creates an empty ArrayList to be populated with Channel Output Ends
connect(def) - Method in DynamicMobileProcess
connect(def) - Method in MobileAgent
contains(ChannelInput) - Method in ChannelInputList
The method contains determines whether or not the Channel Input List contains a specific value
contains(ChannelOutput) - Method in ChannelOutputList
The method contains determines whether or not the Channel Output List contains a specific value
copy() - Method in JCSPCopy
The interface JCSPCopy is used to define a copy method that is used to make a deep copy of an object.

D

disconnect() - Method in DynamicMobileProcess
disconnect() - Method in MobileAgent
DynamicMobileProcess - Class in groovyJCSP

E

F

FairMultiplex - Class in groovyJCSP.util
FibonacciV1 - Class in groovyJCSP.examples
FibonacciV2 - Class in groovyJCSP.examples

G

GConsole - Class in groovyJCSP.plugAndPlay
GConsoleStringToInteger - Class in groovyJCSP.plugAndPlay
GDelta2 - Class in groovyJCSP.plugAndPlay
getAt(int) - Method in ChannelInputList
This method returns the channel input end located at the subscript specified by index
getAt(int) - Method in ChannelOutputList
This method returns the channel output end located at the subscript specified by index
GFixedDelay - Class in groovyJCSP.plugAndPlay
GIdentity - Class in groovyJCSP.plugAndPlay
GIntegrate - Class in groovyJCSP.plugAndPlay
GNumbers - Class in groovyJCSP.plugAndPlay
GObjectToConsoleString - Class in groovyJCSP.plugAndPlay
GPairs - Class in groovyJCSP.plugAndPlay
GParPrint - Class in groovyJCSP.plugAndPlay
GPCopy - Class in groovyJCSP.plugAndPlay
GPlus - Class in groovyJCSP.plugAndPlay
GPrefix - Class in groovyJCSP.plugAndPlay
GPrint - Class in groovyJCSP.plugAndPlay
GSquares - Class in groovyJCSP.plugAndPlay
GStatePairs - Class in groovyJCSP.plugAndPlay
GSuccessor - Class in groovyJCSP.plugAndPlay
GTail - Class in groovyJCSP.plugAndPlay

H

I

J

JCSPCopy - Interface in groovyJCSP

K

L

list1GEList2(def, def) - Method in TestUtilities
listContains(def, def) - Method in TestUtilities

M

minus(List) - Method in ChannelInputList
This method removes the elements specified in the list from the channel list
minus(List) - Method in ChannelOutputList
This method removes the elements specified in the list from the channel list
MobileAgent - Interface in groovyJCSP
Multiplexer - Class in groovyJCSP.util

N

O

P

PAR - Class in groovyJCSP
PAR() - Constructor in PAR
plus(List) - Method in ChannelInputList
This method adds the elements contained in the list parameter to the channel list
plus(List) - Method in ChannelOutputList
This method adds the elements contained in the list parameter to the channel list
PriMultiplex - Class in groovyJCSP.util
putAt(int, ChannelInput) - Method in ChannelInputList
This method puts a channel end specified by value at the position specified by index into the channel list
putAt(int, ChannelOutput) - Method in ChannelOutputList
This method puts a channel end specified by value at the position specified by index into the channel list

Q

R

read() - Method in ChannelInputList
Reads in parallel from every element if the ChannelInputList.
readSeq() - Method in ChannelInputList
The same as read except that the channels are read in sequence
remove(ChannelInput) - Method in ChannelInputList
This method removes a value that is a channel input end from the list
remove(ChannelOutput) - Method in ChannelOutputList
This method removes a value that is a channel output end from the list
run() - Method in FairMultiplex
run() - Method in FibonacciV1
run() - Method in FibonacciV2
run() - Method in GConsole
run() - Method in GConsoleStringToInteger
run() - Method in GDelta2
run() - Method in GFixedDelay
run() - Method in GIdentity
run() - Method in GIntegrate
run() - Method in GNumbers
run() - Method in GObjectToConsoleString
run() - Method in GPairs
run() - Method in GParPrint
run() - Method in GPCopy
run() - Method in GPlus
run() - Method in GPrefix
run() - Method in GPrint
run() - Method in GSquares
run() - Method in GStatePairs
run() - Method in GSuccessor
run() - Method in GTail
run() - Method in Multiplexer
run() - Method in PriMultiplex
run() - Method in TimedMultiplex

S

size() - Method in ChannelInputList
Returns the length of the Channel Input List
size() - Method in ChannelOutputList
Returns the length of the Channel Output List

T

TestUtilities - Class in groovyJCSP.util
TimedMultiplex - Class in groovyJCSP.util
toArray() - Method in ChannelInputList
converts the ChannelInputList to an array
toArray() - Method in ChannelOutputList
converts the ChannelOutputList to an array

U

V

W

write(List) - Method in ChannelOutputList
The write method writes to each channel in a ChannelOutputList a value from the list of values, one value per channel end, both subscripted using the same index.
writeSeq(List) - Method in ChannelOutputList
The writeSeq method writes to each channel in a ChannelOutputList a value from the list of values, one value per channel end, both subscripted using the same index.

X

Y

Z

_

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