edu.toronto.cs.proof
Class AbstractProofVisitor
java.lang.Object
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
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 |
AbstractProofVisitor
public AbstractProofVisitor()
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