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.

Uses of ChannelInputInt in org.jcsp.plugNplay.ints

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

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)