|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.toronto.cs.xkripke | |
---|---|
edu.toronto.cs.xkripke | Classes to represent, manipulate, and parse XML representation of XKripke structures. |
Classes in edu.toronto.cs.xkripke used by edu.toronto.cs.xkripke | |
---|---|
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |