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 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

Modifier and Type	Class	Description
class	AltingChannelInputInt	This extends Guard and ChannelInputInt 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 final ChannelInputInt	AltingChannelInputIntSymmetricImpl.in

Constructors in org.jcsp.lang with parameters of type ChannelInputInt

Modifier	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 final ChannelInputInt	BlackHoleInt.in	The input Channel
private final ChannelInputInt	Delta2Int.in	The input Channel
private final ChannelInputInt	DeltaInt.in	The input Channel
private final ChannelInputInt	DemultiplexInt.in	The input Channel
private final ChannelInputInt	FixedDelayInt.in	The input Channel
private final ChannelInputInt	IdentityInt.in	The input Channel
private final ChannelInputInt	IntegrateInt.in	The input Channel
private final ChannelInputInt[]	MergeInt.in	The input channels
private final ChannelInputInt	MultInt.in	The input Channel
private final ChannelInputInt	PairsInt.in	The input Channel
private final ChannelInputInt[]	ParaplexInt.in	The input channels
private final ChannelInputInt	PrefixInt.in	The input Channel
private ChannelInputInt	PrinterInt.in	The channel from which to read
private ChannelInputInt	ProcessReadInt.in	The channel from which to read
private final ChannelInputInt	SignInt.in	The input Channel
private final ChannelInputInt	SubstituteInt.in	The input Channel
private final ChannelInputInt	SuccessorInt.in	The input Channel
private final ChannelInputInt	TailInt.in	The input Channel
private final ChannelInputInt	AndInt.in0	The first input Channel
private final ChannelInputInt	Merge2Int.in0	The first input Channel
private final ChannelInputInt	NandInt.in0	The first input Channel
private final ChannelInputInt	NorInt.in0	The first input Channel
private final ChannelInputInt	OrInt.in0	The first input Channel
private final ChannelInputInt	PlusInt.in0	The first input Channel
private final ChannelInputInt	TimesInt.in0	The first input Channel
private final ChannelInputInt	XorInt.in0	The first input Channel
private final ChannelInputInt	AndInt.in1	The second input Channel
private final ChannelInputInt	Merge2Int.in1	The second input Channel
private final ChannelInputInt	NandInt.in1	The second input Channel
private final ChannelInputInt	NorInt.in1	The second input Channel
private final ChannelInputInt	OrInt.in1	The second input Channel
private final ChannelInputInt	PlusInt.in1	The second input Channel
private final ChannelInputInt	TimesInt.in1	The second input Channel
private final ChannelInputInt	XorInt.in1	The second input Channel

Constructors in org.jcsp.plugNplay.ints with parameters of type ChannelInputInt

Modifier	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, 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.

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

Modifier	Constructor	Description
	ExtendedReaderSyncInt(AltingBarrier[][] barriers, ChannelInputInt in, int iterations)
	ExtendedReaderSyncInt(AltingBarrier barrier, ChannelInputInt in, int iterations)