Uses of Interface
org.jcsp.lang.ChannelInputInt

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.
 



Copyright © 1996-2012. All Rights Reserved.