Uses of Interface
org.jcsp.lang.ChannelInputInt
-
Packages that use ChannelInputInt Package Description 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.org.jcsp.test -
-
Uses of ChannelInputInt in org.jcsp.lang
Subinterfaces of ChannelInputInt in org.jcsp.lang Modifier and Type Interface Description interface
SharedChannelInputInt
This is the same asChannelInputInt
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 Modifier and Type Class Description class
AltingChannelInputInt
This extendsGuard
andChannelInputInt
to enable a process to choose between many integer input (and other) events.(package private) class
AltingChannelInputIntImpl
(package private) class
AltingChannelInputIntSymmetricImpl
(package private) class
ChannelInputIntImpl
(package private) class
SharedChannelInputIntImpl
Fields in org.jcsp.lang declared as ChannelInputInt Modifier and Type Field Description private ChannelInputInt
AltingChannelInputIntSymmetricImpl. in
Constructors in org.jcsp.lang with parameters of type ChannelInputInt Constructor Description AltingChannelInputIntSymmetricImpl(AltingBarrier ab, ChannelInputInt in)
-
Uses of ChannelInputInt in org.jcsp.plugNplay.ints
Fields in org.jcsp.plugNplay.ints declared as ChannelInputInt Modifier and Type Field Description private ChannelInputInt
BlackHoleInt. in
The input Channelprivate ChannelInputInt
Delta2Int. in
The input Channelprivate ChannelInputInt
DeltaInt. in
The input Channelprivate ChannelInputInt
DemultiplexInt. in
The input Channelprivate ChannelInputInt
FixedDelayInt. in
The input Channelprivate ChannelInputInt
IdentityInt. in
The input Channelprivate ChannelInputInt
IntegrateInt. in
The input Channelprivate ChannelInputInt[]
MergeInt. in
The input channelsprivate ChannelInputInt
MultInt. in
The input Channelprivate ChannelInputInt
PairsInt. in
The input Channelprivate ChannelInputInt[]
ParaplexInt. in
The input channelsprivate ChannelInputInt
PrefixInt. in
The input Channelprivate ChannelInputInt
PrinterInt. in
The channel from which to readprivate ChannelInputInt
ProcessReadInt. in
The channel from which to readprivate ChannelInputInt
SignInt. in
The input Channelprivate ChannelInputInt
SubstituteInt. in
The input Channelprivate ChannelInputInt
SuccessorInt. in
The input Channelprivate ChannelInputInt
TailInt. in
The input Channelprivate ChannelInputInt
AndInt. in0
The first input Channelprivate ChannelInputInt
Merge2Int. in0
The first input Channelprivate ChannelInputInt
NandInt. in0
The first input Channelprivate ChannelInputInt
NorInt. in0
The first input Channelprivate ChannelInputInt
OrInt. in0
The first input Channelprivate ChannelInputInt
PlusInt. in0
The first input Channelprivate ChannelInputInt
TimesInt. in0
The first input Channelprivate ChannelInputInt
XorInt. in0
The first input Channelprivate ChannelInputInt
AndInt. in1
The second input Channelprivate ChannelInputInt
Merge2Int. in1
The second input Channelprivate ChannelInputInt
NandInt. in1
The second input Channelprivate ChannelInputInt
NorInt. in1
The second input Channelprivate ChannelInputInt
OrInt. in1
The second input Channelprivate ChannelInputInt
PlusInt. in1
The second input Channelprivate ChannelInputInt
TimesInt. in1
The second input Channelprivate ChannelInputInt
XorInt. in1
The second input ChannelConstructors in org.jcsp.plugNplay.ints with parameters of type ChannelInputInt Constructor Description 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, java.io.PrintStream printStream)
Construct a new PrinterInt with empty prefix and postfix strings.PrinterInt(ChannelInputInt in, java.io.PrintStream printStream, java.lang.String prefix, java.lang.String postfix)
Construct a new PrinterInt.PrinterInt(ChannelInputInt in, java.lang.String prefix, java.lang.String postfix)
Construct a new PrinterInt with System.out as its PrintStream.ProcessReadInt(ChannelInputInt in)
Construct a new ProcessReadInt.SignInt(java.lang.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. -
Uses of ChannelInputInt in org.jcsp.test
Fields in org.jcsp.test declared as ChannelInputInt Modifier and Type Field Description private ChannelInputInt
ExtendedReaderSyncInt. input
Constructors in org.jcsp.test with parameters of type ChannelInputInt Constructor Description ExtendedReaderSyncInt(AltingBarrier[][] barriers, ChannelInputInt in, int iterations)
ExtendedReaderSyncInt(AltingBarrier barrier, ChannelInputInt in, int iterations)
-