edu.wis.jtlv.experimental.threads.mc5
Class Channel

java.lang.Object
  extended by edu.wis.jtlv.experimental.threads.mc5.Channel

public class Channel
extends java.lang.Object


Constructor Summary
Channel(JTLVThread thread)
           
 
Method Summary
 int getManagerIndex()
           
 BDD read()
           
 void writeBDD(BDD to_write)
           
 void writeBDDWithoutCopy(BDD to_write)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Channel

public Channel(JTLVThread thread)
Method Detail

read

public BDD read()

writeBDD

public void writeBDD(BDD to_write)

writeBDDWithoutCopy

public void writeBDDWithoutCopy(BDD to_write)

getManagerIndex

public int getManagerIndex()