|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MvSetModelChecker | |
---|---|
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) |
edu.toronto.cs.proof2 | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) |
edu.toronto.cs.simulator | A model simulator for XChek (Victor). |
Uses of MvSetModelChecker in edu.toronto.cs.gui |
---|
Methods in edu.toronto.cs.gui that return MvSetModelChecker | |
---|---|
MvSetModelChecker |
XChekGUI.getModelChecker()
|
Constructors in edu.toronto.cs.gui with parameters of type MvSetModelChecker | |
---|---|
ProofTreeFrame(ProofStep _proofStep,
StatePresenter _statePresenter,
MvSetModelChecker _mc)
|
Uses of MvSetModelChecker in edu.toronto.cs.proof |
---|
Methods in edu.toronto.cs.proof that return MvSetModelChecker | |
---|---|
static MvSetModelChecker |
ProofStepFactory.getMC()
|
Methods in edu.toronto.cs.proof with parameters of type MvSetModelChecker | |
---|---|
static void |
ProofStepFactory.setMC(MvSetModelChecker _mc)
|
Uses of MvSetModelChecker in edu.toronto.cs.proof2 |
---|
Methods in edu.toronto.cs.proof2 that return MvSetModelChecker | |
---|---|
MvSetModelChecker |
CTLProver.getModelChecker()
|
Methods in edu.toronto.cs.proof2 with parameters of type MvSetModelChecker | |
---|---|
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)
|
Uses of MvSetModelChecker in edu.toronto.cs.simulator |
---|
Constructors in edu.toronto.cs.simulator with parameters of type MvSetModelChecker | |
---|---|
TraceTreeBrowser(MvSetModelChecker mc,
javax.swing.ActionMap map)
Creates a TraceTreeBrowser for a given model. |
|
XCTraceTree(MvSetModelChecker modelChecker)
Builds a trace tree using a modelchecker initialized with a model. |
|
XCTraceViewer(MvSetModelChecker modelChecker)
Construct a traceviewer for a given model. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |