|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |