CSP for Java
(JCSP) 1.1-rc4

Class NandInt

  extended by org.jcsp.plugNplay.ints.NandInt
All Implemented Interfaces:

public final class NandInt
extends Object
implements CSProcess

Bitwise nands two integer streams to one stream.

Process Diagram

    in0  _________
   -->--|         | out
    in1 | NandInt |-->--


NandInt is a process whose output strean is the bitwise nand of the integers on its input streams.

Channel Protocols

All channels in this package carry integers.
Input Channels
in0, in1 int
Output Channels
out int All channels in this package carry integers.


The following example shows how the use of this process in a small program. The program also uses some of the other building block processes. It generates a sequence of numbers, rounds each odd number down to the nearest even number, negates them and prints them to the screen.
 import org.jcsp.lang.*;
 import org.jcsp.plugNplay.ints.*;
 public class NandIntExample {
   public static void main (String[] argv) {
     final One2OneChannelInt a = Channel.one2oneInt ();
     final One2OneChannelInt b = Channel.one2oneInt ();
     final One2OneChannelInt c = Channel.one2oneInt ();
     final One2OneChannelInt d = Channel.one2oneInt ();
     new Parallel (
       new CSProcess[] {
         new NumbersInt (a.out ()),
         new GenerateInt (b.out (), Integer.MAX_VALUE - 1),
         new NandInt (a.in (), b.in (), c.out ()),
         new SuccessorInt (c.in (), d.out ()),
         new PrinterInt (d.in (), "--> ", "\n")
     ).run ();

P.H. Welch and P.D. Austin

Constructor Summary
NandInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)
          Construct a new NandInt process with the input Channels in0 and in1 and the output Channel out.
Method Summary
 void run()
          The main body of this process.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public NandInt(ChannelInputInt in0,
               ChannelInputInt in1,
               ChannelOutputInt out)
Construct a new NandInt process with the input Channels in0 and in1 and the output Channel out. The ordering of the Channels in0 and in1 make no difference to the functionality of this process.

in0 - the first input Channel
in1 - the second input Channel
out - the output Channel
Method Detail


public void run()
The main body of this process.

Specified by:
run in interface CSProcess

CSP for Java
(JCSP) 1.1-rc4

Submit 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.