edu.toronto.cs.proof
Class LinearWitnessVisitor

java.lang.Object
  extended by edu.toronto.cs.proof.AbstractProofVisitor
      extended by edu.toronto.cs.proof.LinearWitnessVisitor
All Implemented Interfaces:
ProofVisitor

public class LinearWitnessVisitor
extends AbstractProofVisitor


Nested Class Summary
 class LinearWitnessVisitor.WitnessStep
           
 
Constructor Summary
LinearWitnessVisitor()
           
 
Method Summary
static java.lang.String toString(java.lang.Object[] ws)
           
 java.util.List traverse(ProofStep ps)
           
 java.lang.Object visitAndStep(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)
           
 
Methods inherited from class edu.toronto.cs.proof.AbstractProofVisitor
visit, visitEGStep, visitGeneric
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LinearWitnessVisitor

public LinearWitnessVisitor()
Method Detail

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