edu.toronto.cs.proof
Class ProofToGrappa

java.lang.Object
  extended by edu.toronto.cs.proof.AbstractProofVisitor
      extended by edu.toronto.cs.proof.ProofToGrappa
All Implemented Interfaces:
ProofVisitor

public class ProofToGrappa
extends AbstractProofVisitor


Constructor Summary
ProofToGrappa()
           
 
Method Summary
static GrappaGraph toGrappa(ProofStep ps)
           
 java.lang.Object visitEXStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitGeneric(ProofStep ps, java.lang.Object info)
           
 
Methods inherited from class edu.toronto.cs.proof.AbstractProofVisitor
visit, visitAndStep, visitEGStep, visitEUiStep, visitEUStep, visitNegStep, visitOrStep, visitPropStep
 
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

toGrappa

public static GrappaGraph toGrappa(ProofStep ps)

visitGeneric

public java.lang.Object visitGeneric(ProofStep ps,
                                     java.lang.Object info)
Overrides:
visitGeneric in class AbstractProofVisitor

visitEXStep

public java.lang.Object visitEXStep(ProofStep ps,
                                    java.lang.Object info)
Specified by:
visitEXStep in interface ProofVisitor
Overrides:
visitEXStep in class AbstractProofVisitor