edu.toronto.cs.proof2
Class ProofToGrappa
java.lang.Object
edu.toronto.cs.proof2.ProofToGrappa
public class ProofToGrappa
- extends java.lang.Object
Method Summary |
static GrappaGraph |
toGrappa(ProofStep ps,
MvSetModelChecker _mc)
|
static GrappaGraph |
toGrappaState(ProofStep ps,
MvSetModelChecker _mc)
|
java.lang.Object |
visitAXStep(ProofStep ps,
java.lang.Object info,
MvSetModelChecker _mc,
int k)
|
java.lang.Object |
visitEXStep(ProofStep ps,
java.lang.Object info,
MvSetModelChecker _mc,
int k)
|
java.lang.Object |
visitGeneric(ProofStep ps,
java.lang.Object info,
MvSetModelChecker _mc,
int k)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ProofToGrappa
public ProofToGrappa()
toGrappaState
public static GrappaGraph toGrappaState(ProofStep ps,
MvSetModelChecker _mc)
toGrappa
public static GrappaGraph toGrappa(ProofStep ps,
MvSetModelChecker _mc)
visitGeneric
public java.lang.Object visitGeneric(ProofStep ps,
java.lang.Object info,
MvSetModelChecker _mc,
int k)
visitEXStep
public java.lang.Object visitEXStep(ProofStep ps,
java.lang.Object info,
MvSetModelChecker _mc,
int k)
visitAXStep
public java.lang.Object visitAXStep(ProofStep ps,
java.lang.Object info,
MvSetModelChecker _mc,
int k)