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

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

public class Channel
extends java.lang.Object


Constructor Summary
Channel(JTLVThread thread)
           
 
Method Summary
 BDD read()
           
 void writeBDD(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)