org.jcsp.plugNplay.ints
public class NumbersInt extends Object implements CSProcess
______________ | | out | NumbersInt |-->---- |______________|
___________________________________________ | _______________ ___________ | | | | | | | out | |PrefixInt (0)
|----->-----|Delta2Int
|-->-- | |_______________| |___________| | | | | | | | ______________ | | | | | | | | | +----<----|SuccessorInt
|--<--+ | | |______________| | | NumbersInt | |___________________________________________|
Output Channels | ||
---|---|---|
out | int | All channels in this package carry integers. |
Constructor and Description |
---|
NumbersInt(ChannelOutputInt out)
Construct a new NumbersInt process with the output Channel out.
|
public NumbersInt(ChannelOutputInt out)
out
- the output channelSubmit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.