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

Packages that use ProofStep
edu.toronto.cs.proof2   
 

Uses of ProofStep in edu.toronto.cs.proof2
 

Subclasses of ProofStep in edu.toronto.cs.proof2
 class LeafProofStep
           
 class TreeProofStep
           
 

Methods in edu.toronto.cs.proof2 that return ProofStep
 ProofStep CTLProver.expand(ProofStep step)
          Expands a proof step once
 ProofStep CTLProver.expandFully(ProofStep step)
          Recursively applies expand until the proof is expanded as much as possible
 ProofStep TreeProofStep.getChild(int i)
           
 ProofStep[] TreeProofStep.getChildren()
           
 ProofStep ProofStep.getParent()
           
 ProofStep ProofStep.newProofStep(Formula f)
           
 

Methods in edu.toronto.cs.proof2 with parameters of type ProofStep
static void ProofStepFactory.dynamicTree(ProofStep parent, ProofStep children)
           
 ProofStep CTLProver.expand(ProofStep step)
          Expands a proof step once
 ProofStep CTLProver.expandFully(ProofStep step)
          Recursively applies expand until the proof is expanded as much as possible
 void TreeProofStep.setChildren(ProofStep[] _children)
           
 void ProofStepListModel.setProofStep(ProofStep step)
           
static void DynamicProofDisplay.showProof(CTLProver prover, ProofStep step)
           
static GrappaGraph ProofToGrappa.toGrappa(ProofStep ps, MvSetModelChecker _mc)
           
static GrappaGraph ProofToGrappa.toGrappaState(ProofStep ps, MvSetModelChecker _mc)
           
 java.lang.Object ProofToGrappa.visitAXStep(ProofStep ps, java.lang.Object info, MvSetModelChecker _mc, int k)
           
 java.lang.Object ProofToGrappa.visitEXStep(ProofStep ps, java.lang.Object info, MvSetModelChecker _mc, int k)
           
 java.lang.Object ProofToGrappa.visitGeneric(ProofStep ps, java.lang.Object info, MvSetModelChecker _mc, int k)
           
 

Constructors in edu.toronto.cs.proof2 with parameters of type ProofStep
CTLProver(MvSetModelChecker _mc, ProofStep proofStep)
          Creates a new CTLProver
DynamicTree(ProofStep proofStep)
           
LeafProofStep(Formula _formula, ProofStep _parent)
           
NewProofTreeModel(ProofStep ps)
           
ProofStep(Formula _formula, ProofStep _parent)
           
ProofStepTreeModel(ProofStep _rootNode)
           
TreeProofStep(Formula _formula, ProofStep _parent)