|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
XKripke | A XKripke structure A XKripke structure consists of a set of states, and a set of transitions Each state has: -- name -- indicator if it is an initial state -- a set of propositions Each transition has: -- a src state -- a dst state -- a transition value Each proposition has -- name -- value |
XKripke.XKripkeProp | |
XKripke.XKripkeState | |
XKripke.XKripkeTransition | |
XKripke.XKripkeVisitor | |
XKripkeFactory | Given a DOM tree constructs a XKripke structure for it |
XKripkeMvSetBuilder | |
XMLXKripkeModelCompiler |
Classes to represent, manipulate, and parse XML representation of XKripke structures.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |