|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
CTLReWriter | |
ModelCompiler | |
StatePresenter | Converts an collection of variable, value assignment to a set of CTL expressions that evaluate to top on this assignment, and to bot on any other assignment |
Class Summary | |
---|---|
CloningRewriter | |
CTLUntilExpander | |
CTLWeakUntilExpander | |
ExistentialRewriter | |
MvSetModelChecker | ModelChecker engine |
NormalFormRewriter | |
SyntaxChecker | |
XKripkeStructure | A structure over which we do model checking, every model is compiled into this |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |