edu.wis.jtlv.experimental.threads.mc1
Class ParallelMCMain
java.lang.Object
edu.wis.jtlv.experimental.threads.mc1.ParallelMCMain
public class ParallelMCMain
- extends java.lang.Object
- Version:
- "1.3.2"
- Author:
- yaniv sa'ar., ariel
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 |
ParallelMCMain
public ParallelMCMain()
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)