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

java.lang.Object
  extended by edu.wis.jtlv.experimental.threads.mc1.MultiThreadTCMain2

public class MultiThreadTCMain2
extends java.lang.Object

Version:
"1.3.2"
Author:
yaniv sa'ar.

Nested Class Summary
 class MultiThreadTCMain2.Runner
           
 
Field Summary
 MultiThreadTCMain2.Runner r1
           
 MultiThreadTCMain2.Runner r2
           
 
Constructor Summary
MultiThreadTCMain2(BDDFactory f1, SMVModule m1, BDDFactory f2, SMVModule m2)
           
 
Method Summary
static int completeToPow2(int curr)
           
static void main(java.lang.String[] args)
          main run for the game.
 void run()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

r1

public MultiThreadTCMain2.Runner r1

r2

public MultiThreadTCMain2.Runner r2
Constructor Detail

MultiThreadTCMain2

public MultiThreadTCMain2(BDDFactory f1,
                          SMVModule m1,
                          BDDFactory f2,
                          SMVModule m2)
Method Detail

main

public static void main(java.lang.String[] args)
main run for the game.

Parameters:
args -

completeToPow2

public static int completeToPow2(int curr)

run

public void run()