Uses of Class
edu.toronto.cs.proof.ProofStep

Packages that use ProofStep
edu.toronto.cs.gui Graphical Interaface to XChek multi-valued model-checker 
edu.toronto.cs.proof Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) 
 

Uses of ProofStep in edu.toronto.cs.gui
 

Methods in edu.toronto.cs.gui with parameters of type ProofStep
 void KEGTreeFrame.setProofStep(ProofStep v)
           
 

Constructors in edu.toronto.cs.gui with parameters of type ProofStep
KEGTreeFrame(ProofStep _proofStep, StatePresenter _statePresenter)
           
 

Uses of ProofStep in edu.toronto.cs.proof
 

Subclasses of ProofStep in edu.toronto.cs.proof
 class ConjProofStep
           
 class DisjProofStep
           
 class EGProofStep
           
 class EUiProofStep
           
 class EUProofStep
           
 class EXProofStep
           
 class NegProofStep
           
 class PropProofStep
           
 

Methods in edu.toronto.cs.proof that return ProofStep
static ProofStep ProofStepFactory.makeProofStep(AlgebraValue _v, MvSet _state, CTLNode _consequent)
           
 

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)
           
 

Constructors in edu.toronto.cs.proof with parameters of type ProofStep
ProofTreeModel(ProofStep _rootNode)