edu.toronto.cs.proof
Interface ProofVisitor

All Known Implementing Classes:
AbstractProofVisitor, LinearWitnessVisitor, ProofToDaVinci, ProofToGrappa

public interface ProofVisitor


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 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)
           
 

Method Detail

visit

java.lang.Object visit(ProofStep ps,
                       java.lang.Object info)

visitNegStep

java.lang.Object visitNegStep(ProofStep ps,
                              java.lang.Object info)

visitPropStep

java.lang.Object visitPropStep(ProofStep ps,
                               java.lang.Object info)

visitOrStep

java.lang.Object visitOrStep(ProofStep ps,
                             java.lang.Object info)

visitAndStep

java.lang.Object visitAndStep(ProofStep ps,
                              java.lang.Object info)

visitEUStep

java.lang.Object visitEUStep(ProofStep ps,
                             java.lang.Object info)

visitEUiStep

java.lang.Object visitEUiStep(ProofStep ps,
                              java.lang.Object info)

visitEXStep

java.lang.Object visitEXStep(ProofStep ps,
                             java.lang.Object info)

visitEGStep

java.lang.Object visitEGStep(ProofStep ps,
                             java.lang.Object info)