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

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

public class MuxsemLast
extends java.lang.Object

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

Constructor Summary
MuxsemLast()
           
 
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 SMVModule loadMainModule(java.lang.String input_file)
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MuxsemLast

public MuxsemLast()
Method Detail

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)

loadMainModule

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