edu.toronto.cs.proof
Class AbstractProofVisitor

java.lang.Object
  extended by edu.toronto.cs.proof.AbstractProofVisitor
All Implemented Interfaces:
ProofVisitor
Direct Known Subclasses:
LinearWitnessVisitor, ProofToDaVinci, ProofToGrappa

public abstract class AbstractProofVisitor
extends java.lang.Object
implements ProofVisitor


Constructor Summary
AbstractProofVisitor()
           
 
Method Summary
 java.lang.Object visit(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitAndStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitEGStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitEUiStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitEUStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitEXStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitGeneric(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitNegStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitOrStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitPropStep(ProofStep ps, java.lang.Object info)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractProofVisitor

public AbstractProofVisitor()
Method Detail

visit

public java.lang.Object visit(ProofStep ps,
                              java.lang.Object info)
Specified by:
visit in interface ProofVisitor

visitGeneric

public java.lang.Object visitGeneric(ProofStep ps,
                                     java.lang.Object info)

visitNegStep

public java.lang.Object visitNegStep(ProofStep ps,
                                     java.lang.Object info)
Specified by:
visitNegStep in interface ProofVisitor

visitPropStep

public java.lang.Object visitPropStep(ProofStep ps,
                                      java.lang.Object info)
Specified by:
visitPropStep in interface ProofVisitor

visitOrStep

public java.lang.Object visitOrStep(ProofStep ps,
                                    java.lang.Object info)
Specified by:
visitOrStep in interface ProofVisitor

visitAndStep

public java.lang.Object visitAndStep(ProofStep ps,
                                     java.lang.Object info)
Specified by:
visitAndStep in interface ProofVisitor

visitEUStep

public java.lang.Object visitEUStep(ProofStep ps,
                                    java.lang.Object info)
Specified by:
visitEUStep in interface ProofVisitor

visitEUiStep

public java.lang.Object visitEUiStep(ProofStep ps,
                                     java.lang.Object info)
Specified by:
visitEUiStep in interface ProofVisitor

visitEXStep

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

visitEGStep

public java.lang.Object visitEGStep(ProofStep ps,
                                    java.lang.Object info)
Specified by:
visitEGStep in interface ProofVisitor