edu.toronto.cs.xkripke
Class XKripke.XKripkeTransition

java.lang.Object
  extended by edu.toronto.cs.xkripke.XKripke.XKripkeTransition
Enclosing class:
XKripke

public static class XKripke.XKripkeTransition
extends java.lang.Object


Constructor Summary
XKripke.XKripkeTransition(XKripke.XKripkeState _src, XKripke.XKripkeState _dst, java.lang.String _value)
           
 
Method Summary
 XKripke.XKripkeState getDst()
           
 XKripke.XKripkeState getSrc()
           
 java.lang.String getValue()
           
 void setDst(XKripke.XKripkeState v)
           
 void setSrc(XKripke.XKripkeState v)
           
 void setValue(java.lang.String v)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

XKripke.XKripkeTransition

public XKripke.XKripkeTransition(XKripke.XKripkeState _src,
                                 XKripke.XKripkeState _dst,
                                 java.lang.String _value)
Method Detail

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