Uses of Interface
org.jcsp.lang.ChannelInputInt
Packages that use ChannelInputInt
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
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.langModifier and TypeInterfaceDescriptioninterface
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 ChannelInputIntModifier and TypeClassDescriptionclass
This extendsGuard
andChannelInputInt
to enable a process to choose between many integer input (and other) events.(package private) class
(package private) class
(package private) class
(package private) class
Fields in org.jcsp.lang declared as ChannelInputIntModifier and TypeFieldDescriptionprivate final ChannelInputInt
AltingChannelInputIntSymmetricImpl.in
Constructors in org.jcsp.lang with parameters of type ChannelInputIntModifierConstructorDescription -
Uses of ChannelInputInt in org.jcsp.plugNplay.ints
Fields in org.jcsp.plugNplay.ints declared as ChannelInputIntModifier and TypeFieldDescriptionprivate final ChannelInputInt
BlackHoleInt.in
The input Channelprivate final ChannelInputInt
Delta2Int.in
The input Channelprivate final ChannelInputInt
DeltaInt.in
The input Channelprivate final ChannelInputInt
DemultiplexInt.in
The input Channelprivate final ChannelInputInt
FixedDelayInt.in
The input Channelprivate final ChannelInputInt
IdentityInt.in
The input Channelprivate final ChannelInputInt
IntegrateInt.in
The input Channelprivate final ChannelInputInt[]
MergeInt.in
The input channelsprivate final ChannelInputInt
MultInt.in
The input Channelprivate final ChannelInputInt
PairsInt.in
The input Channelprivate final ChannelInputInt[]
ParaplexInt.in
The input channelsprivate final ChannelInputInt
PrefixInt.in
The input Channelprivate ChannelInputInt
PrinterInt.in
The channel from which to readprivate ChannelInputInt
ProcessReadInt.in
The channel from which to readprivate final ChannelInputInt
SignInt.in
The input Channelprivate final ChannelInputInt
SubstituteInt.in
The input Channelprivate final ChannelInputInt
SuccessorInt.in
The input Channelprivate final ChannelInputInt
TailInt.in
The input Channelprivate final ChannelInputInt
AndInt.in0
The first input Channelprivate final ChannelInputInt
Merge2Int.in0
The first input Channelprivate final ChannelInputInt
NandInt.in0
The first input Channelprivate final ChannelInputInt
NorInt.in0
The first input Channelprivate final ChannelInputInt
OrInt.in0
The first input Channelprivate final ChannelInputInt
PlusInt.in0
The first input Channelprivate final ChannelInputInt
TimesInt.in0
The first input Channelprivate final ChannelInputInt
XorInt.in0
The first input Channelprivate final ChannelInputInt
AndInt.in1
The second input Channelprivate final ChannelInputInt
Merge2Int.in1
The second input Channelprivate final ChannelInputInt
NandInt.in1
The second input Channelprivate final ChannelInputInt
NorInt.in1
The second input Channelprivate final ChannelInputInt
OrInt.in1
The second input Channelprivate final ChannelInputInt
PlusInt.in1
The second input Channelprivate final ChannelInputInt
TimesInt.in1
The second input Channelprivate final ChannelInputInt
XorInt.in1
The second input ChannelConstructors in org.jcsp.plugNplay.ints with parameters of type ChannelInputIntModifierConstructorDescriptionAndInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new AndInt process with the input Channels in0 and in1 and the output Channel out.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.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.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. -
Uses of ChannelInputInt in org.jcsp.test
Fields in org.jcsp.test declared as ChannelInputIntConstructors in org.jcsp.test with parameters of type ChannelInputIntModifierConstructorDescriptionExtendedReaderSyncInt
(AltingBarrier[][] barriers, ChannelInputInt in, int iterations) ExtendedReaderSyncInt
(AltingBarrier barrier, ChannelInputInt in, int iterations)