edu.wis.jtlv.experimental.threads.mc1
Class MuxsemLast
java.lang.Object
edu.wis.jtlv.experimental.threads.mc1.MuxsemLast
public class MuxsemLast
- extends java.lang.Object
- Version:
- "1.3.2"
- Author:
- yaniv sa'ar., ariel
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MuxsemLast
public MuxsemLast()
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)