edu.toronto.cs.proof
Class ProofToDaVinci

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

public class ProofToDaVinci
extends AbstractProofVisitor


Constructor Summary
ProofToDaVinci(boolean _hideProofNodes)
           
 
Method Summary
static DaVinciGraph toDaVinci(ProofStep ps, boolean _hideProofNodes)
           
 java.lang.Object visitEXStep(ProofStep ps, java.lang.Object info)
           
 java.lang.Object visitGeneric(ProofStep ps, java.lang.Object info)
           
 
Methods inherited from class edu.toronto.cs.proof.AbstractProofVisitor
visit, visitAndStep, visitEGStep, visitEUiStep, visitEUStep, visitNegStep, visitOrStep, visitPropStep
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofToDaVinci

public ProofToDaVinci(boolean _hideProofNodes)
Method Detail

toDaVinci

public static DaVinciGraph toDaVinci(ProofStep ps,
                                     boolean _hideProofNodes)

visitGeneric

public java.lang.Object visitGeneric(ProofStep ps,
                                     java.lang.Object info)
Overrides:
visitGeneric 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