|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |