edu.toronto.cs.proof2
Class ProofToGrappa

java.lang.Object
  extended by edu.toronto.cs.proof2.ProofToGrappa

public class ProofToGrappa
extends java.lang.Object


Constructor Summary
ProofToGrappa()
           
 
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
 

Constructor Detail

ProofToGrappa

public ProofToGrappa()
Method Detail

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)