Guards
as its constructor parameter
and converts them to an array of Guards
as required by Alternative
.ChannelInputEnds
ArrayList
class of java
This constructor creates an empty ArrayList
to be populated with
NetChannelInputs
or Channel Input EndsArrayList
class of java
This constructor creates an empty ArrayList
to be populated with
Channel Output Ends
JCSPCopy
is used to define a copy
method
that is used to make a deep copy of an object.