edu.toronto.cs.xkripke
Class XKripke.XKripkeProp

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

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


Constructor Summary
XKripke.XKripkeProp(java.lang.String _name, java.lang.String _value)
           
 
Method Summary
 java.lang.String getName()
           
 java.lang.String getValue()
           
 void setName(java.lang.String 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.XKripkeProp

public XKripke.XKripkeProp(java.lang.String _name,
                           java.lang.String _value)
Method Detail

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