edu.wis.jtlv.experimental.threads.mc4
Class ParallelMCMain_german2

java.lang.Object
  extended by edu.wis.jtlv.experimental.threads.mc4.ParallelMCMain_german2

public class ParallelMCMain_german2
extends java.lang.Object

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

Field Summary
static ParallelMain_german main_german
           
 
Constructor Summary
ParallelMCMain_german2()
           
 
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
 

Field Detail

main_german

public static ParallelMain_german main_german
Constructor Detail

ParallelMCMain_german2

public ParallelMCMain_german2()
Method Detail

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)