edu.wis.jtlv.experimental.threads.mc1
Class MuxsemLastEfficient
java.lang.Object
edu.wis.jtlv.experimental.threads.mc1.MuxsemLastEfficient
public class MuxsemLastEfficient
- 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 |
MuxsemLastEfficient
public MuxsemLastEfficient()
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)