Uses of Package
edu.toronto.cs.xkripke

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