Uses of Class
org.jcsp.lang.AltingChannelInputInt

Packages that use AltingChannelInputInt
org.jcsp.awt This provides CSP extensions for all AWT Component components: GUI events and widget configurations map to channel communications. 
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 AltingChannelInputInt in org.jcsp.awt
 

Methods in org.jcsp.awt with parameters of type AltingChannelInputInt
 void ActiveApplet.setDestroyChannels(ChannelOutputInt destroy, AltingChannelInputInt destroyAck)
          This sets destroy/destroyAck channels to allow a user-defined destroy response.
 void ActiveApplet.setDestroyChannels(ChannelOutputInt destroy, AltingChannelInputInt destroyAck, int timeoutAck)
          This sets destroy/destroyAck channels to allow a user-defined destroy response.
 

Uses of AltingChannelInputInt in org.jcsp.lang
 

Methods in org.jcsp.lang that return AltingChannelInputInt
static AltingChannelInputInt[] ChannelInt.getInputArray(Any2OneChannelInt[] c)
          Deprecated. Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
static AltingChannelInputInt[] Channel.getInputArray(Any2OneChannelInt[] c)
          This extracts the input-ends from the given channel array.
static AltingChannelInputInt[] ChannelInt.getInputArray(One2OneChannelInt[] c)
          Deprecated. Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
static AltingChannelInputInt[] Channel.getInputArray(One2OneChannelInt[] c)
          This extracts the input-ends from the given channel array.
 AltingChannelInputInt One2OneChannelInt.in()
          Returns the input end of the channel.
 AltingChannelInputInt Any2OneChannelInt.in()
          Returns the input end of the channel.
 AltingChannelInputInt One2OneChannelSymmetricInt.in()
          Returns the input channel end.
 

Uses of AltingChannelInputInt in org.jcsp.plugNplay.ints
 

Constructors in org.jcsp.plugNplay.ints with parameters of type AltingChannelInputInt
DynamicDeltaInt(AltingChannelInputInt in, AltingChannelInput config)
          Construct a new DynamicDeltaInt process with the input channel in and the configuration channel configure.
DynamicDeltaInt(AltingChannelInputInt in, AltingChannelInput config, ChannelOutputInt[] out)
          Construct a new DynamicDeltaInt process with the input channel in, the configuration channel configure and the initial output channels out.
MultiplexInt(AltingChannelInputInt[] in, ChannelOutputInt out)
          Construct a new MultiplexInt process with the input Channel in and the output Channels out.
Plex2Int(AltingChannelInputInt in0, AltingChannelInputInt in1, ChannelOutputInt out)
          Construct a new Plex2Int process with the input channels in0 and in1 and the output channel out.
PlexInt(AltingChannelInputInt[] in, ChannelOutputInt out)
          Construct a new PlexInt process with input channels in and output channel out.
RegulateInt(AltingChannelInputInt in, AltingChannelInput reset, ChannelOutputInt out, long initialInterval)
          Construct the process.
 



Copyright © 1996-2012. All Rights Reserved.