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 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk