edu.toronto.cs.proof
Interface ProofVisitor
- All Known Implementing Classes:
- AbstractProofVisitor, LinearWitnessVisitor, ProofToDaVinci, ProofToGrappa
public interface ProofVisitor
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)