|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CTLProver | |
---|---|
edu.toronto.cs.proof2 | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) |
Uses of CTLProver in edu.toronto.cs.proof2 |
---|
Methods in edu.toronto.cs.proof2 with parameters of type CTLProver | |
---|---|
static void |
DynamicProofDisplay.showProof(CTLProver prover,
ProofStep step)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |