edu.wis.jtlv.experimental.threads.mc2
Class ParallelMCMain_german2
java.lang.Object
edu.wis.jtlv.experimental.threads.mc2.ParallelMCMain_german2
public class ParallelMCMain_german2
- extends java.lang.Object
- Version:
- "1.3.2"
- Author:
- yaniv sa'ar., ariel
Method Summary |
static void |
do_mc_trans(SMVModule main,
int N)
|
static void |
do_parallel_trans(SMVModule main,
int N,
int threadNum,
int procPerThread,
int lastProcPerThread)
|
static void |
do_sequential_trans(SMVModule main,
int N)
|
static SMVModule |
loadMainModule(java.lang.String input_file)
|
static void |
main(java.lang.String[] args)
|
static BDD |
newAllSucc(BDD from,
BDD trans,
BDDVarSet unprimeVars)
|
static BDD |
newSucc(BDD from,
BDD trans,
BDDVarSet unprimeVars)
|
static void |
usage(java.lang.String[] args)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
main_german
public static ParallelMain_german main_german
ParallelMCMain_german2
public ParallelMCMain_german2()
newSucc
public static BDD newSucc(BDD from,
BDD trans,
BDDVarSet unprimeVars)
newAllSucc
public static BDD newAllSucc(BDD from,
BDD trans,
BDDVarSet unprimeVars)
usage
public static void usage(java.lang.String[] args)
loadMainModule
public static SMVModule loadMainModule(java.lang.String input_file)
main
public static void main(java.lang.String[] args)
do_mc_trans
public static void do_mc_trans(SMVModule main,
int N)
do_sequential_trans
public static void do_sequential_trans(SMVModule main,
int N)
do_parallel_trans
public static void do_parallel_trans(SMVModule main,
int N,
int threadNum,
int procPerThread,
int lastProcPerThread)