Package edu.toronto.cs.xkripke

Classes to represent, manipulate, and parse XML representation of XKripke structures.

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  
 

Package edu.toronto.cs.xkripke Description

Classes to represent, manipulate, and parse XML representation of XKripke structures.