Methods in edu.toronto.cs.proof with parameters of type ProofStep |
void |
ProofStepListModel.setProofStep(ProofStep step)
|
static DaVinciGraph |
ProofToDaVinci.toDaVinci(ProofStep ps,
boolean _hideProofNodes)
|
static GrappaGraph |
ProofToGrappa.toGrappa(ProofStep ps)
|
java.util.List |
LinearWitnessVisitor.traverse(ProofStep ps)
|
java.lang.Object |
ProofVisitor.visit(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visit(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitAndStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitAndStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
LinearWitnessVisitor.visitAndStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitEGStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitEGStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitEUiStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitEUiStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
LinearWitnessVisitor.visitEUiStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitEUStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitEUStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
LinearWitnessVisitor.visitEUStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitEXStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitEXStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofToGrappa.visitEXStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
LinearWitnessVisitor.visitEXStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofToDaVinci.visitEXStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitGeneric(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofToGrappa.visitGeneric(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofToDaVinci.visitGeneric(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitNegStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitNegStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
LinearWitnessVisitor.visitNegStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitOrStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitOrStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
LinearWitnessVisitor.visitOrStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
ProofVisitor.visitPropStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
AbstractProofVisitor.visitPropStep(ProofStep ps,
java.lang.Object info)
|
java.lang.Object |
LinearWitnessVisitor.visitPropStep(ProofStep ps,
java.lang.Object info)
|