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

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

public class ParallelMCMain
extends java.lang.Object

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

Constructor Summary
ParallelMCMain()
           
 
Method Summary
static BDD do_parallel(SMVModule main, int N, int threadNum, int procPerThread, int lastProcPerThread)
           
static BDD do_sequential(SMVModule main, int N)
           
static edu.wis.jtlv.experimental.threads.mc1.ParallelMCMain.MCThread[] getNewThreadsPool(int threadNum, int procPerThread, int lastProcPerThread, BDD[] newThetas, BDDVarSet[] otherLocalVars, BDD new_frontiers)
           
static SMVModule loadMainModule(java.lang.String input_file)
           
static void main(java.lang.String[] args)
           
static void usage(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ParallelMCMain

public ParallelMCMain()
Method Detail

usage

public static void usage(java.lang.String[] args)

main

public static void main(java.lang.String[] args)

do_sequential

public static BDD do_sequential(SMVModule main,
                                int N)

do_parallel

public static BDD do_parallel(SMVModule main,
                              int N,
                              int threadNum,
                              int procPerThread,
                              int lastProcPerThread)

getNewThreadsPool

public static edu.wis.jtlv.experimental.threads.mc1.ParallelMCMain.MCThread[] getNewThreadsPool(int threadNum,
                                                                                                int procPerThread,
                                                                                                int lastProcPerThread,
                                                                                                BDD[] newThetas,
                                                                                                BDDVarSet[] otherLocalVars,
                                                                                                BDD new_frontiers)

loadMainModule

public static SMVModule loadMainModule(java.lang.String input_file)