edu.toronto.cs.xkripke
Class XKripke.XKripkeTransition
java.lang.Object
edu.toronto.cs.xkripke.XKripke.XKripkeTransition
- Enclosing class:
- XKripke
public static class XKripke.XKripkeTransition
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
XKripke.XKripkeTransition
public XKripke.XKripkeTransition(XKripke.XKripkeState _src,
XKripke.XKripkeState _dst,
java.lang.String _value)
getSrc
public XKripke.XKripkeState getSrc()
setSrc
public void setSrc(XKripke.XKripkeState v)
getDst
public XKripke.XKripkeState getDst()
setDst
public void setDst(XKripke.XKripkeState v)
setValue
public void setValue(java.lang.String v)
getValue
public java.lang.String getValue()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object