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

java.lang.Object
  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)