Uses of Class
edu.toronto.cs.xkripke.XKripke.XKripkeState

Packages that use XKripke.XKripkeState
edu.toronto.cs.xkripke Classes to represent, manipulate, and parse XML representation of XKripke structures. 
 

Uses of XKripke.XKripkeState in edu.toronto.cs.xkripke
 

Methods in edu.toronto.cs.xkripke that return XKripke.XKripkeState
 XKripke.XKripkeState XKripke.XKripkeTransition.getDst()
           
 XKripke.XKripkeState[] XKripke.getInitialStates()
           
 XKripke.XKripkeState XKripke.XKripkeTransition.getSrc()
           
 XKripke.XKripkeState XKripke.getState(java.lang.String name)
           
 

Methods in edu.toronto.cs.xkripke with parameters of type XKripke.XKripkeState
 void XKripke.addState(XKripke.XKripkeState state)
           
 XKripke.XKripkeTransition XKripke.getTransition(XKripke.XKripkeState src, XKripke.XKripkeState dst)
           
 void XKripke.XKripkeTransition.setDst(XKripke.XKripkeState v)
           
 void XKripke.XKripkeTransition.setSrc(XKripke.XKripkeState v)
           
 void XKripke.XKripkeVisitor.visitXKripke(XKripke.XKripkeState state)
           
 

Constructors in edu.toronto.cs.xkripke with parameters of type XKripke.XKripkeState
XKripke.XKripkeTransition(XKripke.XKripkeState _src, XKripke.XKripkeState _dst, java.lang.String _value)