edu.wis.jtlv.experimental.threads.mc5
Class MainPar

java.lang.Object
  extended by edu.wis.jtlv.experimental.threads.mc5.MainPar

public class MainPar
extends java.lang.Object

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

Constructor Summary
MainPar()
           
 
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
 

Constructor Detail

MainPar

public MainPar()
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)