|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ChannelInputInt | |
---|---|
org.jcsp.lang | This provides classes and interfaces corresponding to the fundamental primitives of CSP. |
org.jcsp.plugNplay.ints | This provides an assortment of plug-and-play CSP components to wire together (with int-carrying wires) and reuse. |
Uses of ChannelInputInt in org.jcsp.lang |
---|
Subinterfaces of ChannelInputInt in org.jcsp.lang | |
---|---|
interface |
SharedChannelInputInt
This is the same as ChannelInputInt except that it is guaranteed
safe to pass on to more than one internal process for parallel reading. |
Classes in org.jcsp.lang that implement ChannelInputInt | |
---|---|
class |
AltingChannelInputInt
This extends Guard and ChannelInputInt
to enable a process
to choose between many integer input (and other) events. |
Uses of ChannelInputInt in org.jcsp.plugNplay.ints |
---|
Constructors in org.jcsp.plugNplay.ints with parameters of type ChannelInputInt | |
---|---|
AndInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new AndInt process with the input Channels in0 and in1 and the output Channel out. |
|
BlackHoleInt(ChannelInputInt in)
Construct a new BlackHoleInt process with the input Channel in. |
|
Delta2Int(ChannelInputInt in,
ChannelOutputInt out0,
ChannelOutputInt out1)
Construct a new Delta2Int process with the input Channel in and the output Channels out0 and out1. |
|
DeltaInt(ChannelInputInt in,
ChannelOutputInt[] out)
Construct a new DeltaInt process with the input Channel in and the output Channels out. |
|
DemultiplexInt(ChannelInputInt in,
ChannelOutputInt[] out)
Construct a new DemultiplexInt process with the input Channel in and the output Channels out. |
|
FixedDelayInt(long delayTime,
ChannelInputInt in,
ChannelOutputInt out)
Construct a new FixedDelayInt process with the input Channel in and the output Channel out. |
|
IdentityInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new IdentityInt process with the input Channel in and the output Channel out. |
|
IntegrateInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new IntegrateInt process with the input Channel in and the output Channel out. |
|
Merge2Int(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new Merge2Int process with the input channels in0 and in1 and the output channel out. |
|
MergeInt(ChannelInputInt[] in,
ChannelOutputInt out)
Construct a new Merge2Int process with the input channels inand the output channel out. |
|
MultInt(int n,
ChannelInputInt in,
ChannelOutputInt out)
Construct a new MultInt process with the input Channel in and the output Channel out. |
|
NandInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new NandInt process with the input Channels in0 and in1 and the output Channel out. |
|
NorInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new NorInt process with the input Channels in0 and in1 and the output Channel out. |
|
OrInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new OrInt process with the input Channels in0 and in1 and the output Channel out. |
|
PairsInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new PairsInt process with the input Channel in and the output Channel out. |
|
ParaplexInt(ChannelInputInt[] in,
ChannelOutput out)
Construct a new ParaplexInt process from the array of input channels to the output channel. |
|
PlusInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new PlusInt process with the input Channels in0 and in1 and the output Channel out. |
|
PrefixInt(int n,
ChannelInputInt in,
ChannelOutputInt out)
Construct a new PrefixInt process with the input Channel in and the output Channel out. |
|
PrinterInt(ChannelInputInt in)
Construct a new PrinterInt with System.out as its PrintStream and empty prefix and postfix strings. |
|
PrinterInt(ChannelInputInt in,
PrintStream printStream)
Construct a new PrinterInt with empty prefix and postfix strings. |
|
PrinterInt(ChannelInputInt in,
PrintStream printStream,
String prefix,
String postfix)
Construct a new PrinterInt. |
|
PrinterInt(ChannelInputInt in,
String prefix,
String postfix)
Construct a new PrinterInt with System.out as its PrintStream. |
|
ProcessReadInt(ChannelInputInt in)
Construct a new ProcessReadInt. |
|
SignInt(String sign,
ChannelInputInt in,
ChannelOutput out)
Construct a new Sign process with the input Channel in and the output Channel out. |
|
SubstituteInt(ChannelInputInt in,
ChannelOutputInt out,
int n)
Construct a new SubstituteInt process. |
|
SuccessorInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new SuccessorInt process with the input Channel in and the output Channel out. |
|
TailInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new TailInt process with the input Channel in and the output Channel out. |
|
TimesInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new TimesInt process with the input Channels in0 and in1 and the output Channel out. |
|
XorInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new XorInt process with the input Channels in0 and in1 and the output Channel out. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |