public final class GenerateInt
Generates an infinite (constant) sequence of ints.
Output Channels | ||
---|---|---|
out | int | All channels in this package carry integers. |
Constructor and description |
---|
GenerateInt
(ChannelOutputInt out, int n) Construct a new GenerateInt process with the output channel out. |
Construct a new GenerateInt process with the output channel out.
out
- the output channeln
- the number to generateJCSP for Java 1.8 generated 18-09-2017 by Jon Kerridge, Edinburgh Napier University