|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.toronto.cs.proof2 | |
---|---|
edu.toronto.cs.gui | Graphical Interaface to XChek multi-valued model-checker |
edu.toronto.cs.proof2 | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) |
Classes in edu.toronto.cs.proof2 used by edu.toronto.cs.gui | |
---|---|
ProofStep
This class is the ancestor of all proof-step objects. |
Classes in edu.toronto.cs.proof2 used by edu.toronto.cs.proof2 | |
---|---|
AbstractProofRule
|
|
Axiomatic
|
|
ComparisonFormula
|
|
CTLProver
|
|
CTLProver.BaseEXProofRule
|
|
Formula
|
|
ProofRule
|
|
ProofStep
This class is the ancestor of all proof-step objects. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |