edu.toronto.cs.proof
Class LinearWitnessVisitor
java.lang.Object
edu.toronto.cs.proof.AbstractProofVisitor
edu.toronto.cs.proof.LinearWitnessVisitor
- All Implemented Interfaces:
- ProofVisitor
public class LinearWitnessVisitor
- extends AbstractProofVisitor
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LinearWitnessVisitor
public LinearWitnessVisitor()
traverse
public java.util.List traverse(ProofStep ps)
toString
public static java.lang.String toString(java.lang.Object[] ws)
visitNegStep
public java.lang.Object visitNegStep(ProofStep ps,
java.lang.Object info)
- Specified by:
visitNegStep
in interface ProofVisitor
- Overrides:
visitNegStep
in class AbstractProofVisitor
visitPropStep
public java.lang.Object visitPropStep(ProofStep ps,
java.lang.Object info)
- Specified by:
visitPropStep
in interface ProofVisitor
- Overrides:
visitPropStep
in class AbstractProofVisitor
visitEUStep
public java.lang.Object visitEUStep(ProofStep ps,
java.lang.Object info)
- Specified by:
visitEUStep
in interface ProofVisitor
- Overrides:
visitEUStep
in class AbstractProofVisitor
visitEUiStep
public java.lang.Object visitEUiStep(ProofStep ps,
java.lang.Object info)
- Specified by:
visitEUiStep
in interface ProofVisitor
- Overrides:
visitEUiStep
in class AbstractProofVisitor
visitOrStep
public java.lang.Object visitOrStep(ProofStep ps,
java.lang.Object info)
- Specified by:
visitOrStep
in interface ProofVisitor
- Overrides:
visitOrStep
in class AbstractProofVisitor
visitAndStep
public java.lang.Object visitAndStep(ProofStep ps,
java.lang.Object info)
- Specified by:
visitAndStep
in interface ProofVisitor
- Overrides:
visitAndStep
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