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

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