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

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