edu.wis.jtlv.experimental.threads.mc1
Class MultiThreadTCMain2.Runner

java.lang.Object
  extended by edu.wis.jtlv.experimental.threads.mc1.MultiThreadTCMain2.Runner
All Implemented Interfaces:
java.lang.Runnable
Enclosing class:
MultiThreadTCMain2

public class MultiThreadTCMain2.Runner
extends java.lang.Object
implements java.lang.Runnable


Field Summary
 BDDFactory f
           
 BDD[] lb
           
 BDDVarSet var
           
 
Constructor Summary
MultiThreadTCMain2.Runner(BDDFactory f, BDD[] l, BDDVarSet v)
           
 
Method Summary
 void run()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

f

public BDDFactory f

lb

public BDD[] lb

var

public BDDVarSet var
Constructor Detail

MultiThreadTCMain2.Runner

public MultiThreadTCMain2.Runner(BDDFactory f,
                                 BDD[] l,
                                 BDDVarSet v)
Method Detail

run

public void run()
Specified by:
run in interface java.lang.Runnable