All Packages Class Hierarchy This Package Previous Next Index
Class jcsp.util.buildingblocks.ints.NosInt
java.lang.Object
|
+----jcsp.util.buildingblocks.ints.NosInt
- public class NosInt
- extends Object
- implements CSProcess
Process Diagram
External View
_______
| | out
| Nos |-->----
|_______|
Internal View
__________________________________________
| _______________ __________ |
| | | | | | out
| | Prefix Int (0)|-->--| DeltaInt |---------->--
| |_______________| |__________| |
| | | |
| | ______________ | |
| | | | | |
| +--<--| SuccessorInt |-<-+ |
| |______________| |
| NosInt |
|__________________________________________|
Description
The NosInt class is a process which generates a sequence of Natural numbers
that are output down the out ChannelInt.
Channel Protocols
| Input Channels |
| Output Channels |
| out |
ChannelInt |
int
|
- Author:
- P.D.Austin
-
NosInt(ChannelOutputInt)
- Construct a new NosInt process with the output ChannelInt out.
-
run()
- The main body of this process.
NosInt
public NosInt(ChannelOutputInt out)
- Construct a new NosInt process with the output ChannelInt out.
- Parameters:
- out - The output channel
run
public void run()
- The main body of this process.
All Packages Class Hierarchy This Package Previous Next Index