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

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

public class MuxsemLastEfficient
extends java.lang.Object

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

Constructor Summary
MuxsemLastEfficient()
           
 
Method Summary
static Module[] loadArgs(java.lang.String[] args)
           
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)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MuxsemLastEfficient

public MuxsemLastEfficient()
Method Detail

loadArgs

public static Module[] loadArgs(java.lang.String[] args)
                         throws java.io.IOException
Throws:
java.io.IOException

newSucc

public static BDD newSucc(BDD from,
                          BDD trans,
                          BDDVarSet unprimeVars)
                   throws BDDException
Throws:
BDDException

newAllSucc

public static BDD newAllSucc(BDD from,
                             BDD trans,
                             BDDVarSet unprimeVars)
                      throws BDDException
Throws:
BDDException

main

public static void main(java.lang.String[] args)