edu.toronto.cs.xkripke
Class XKripke.XKripkeProp
java.lang.Object
edu.toronto.cs.xkripke.XKripke.XKripkeProp
- Enclosing class:
- XKripke
public static class XKripke.XKripkeProp
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
XKripke.XKripkeProp
public XKripke.XKripkeProp(java.lang.String _name,
java.lang.String _value)
getName
public java.lang.String getName()
setName
public void setName(java.lang.String v)
getValue
public java.lang.String getValue()
setValue
public void setValue(java.lang.String v)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object