edu.toronto.cs.xkripke
Class XKripke.XKripkeState

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

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


Constructor Summary
XKripke.XKripkeState(java.lang.String _name)
           
XKripke.XKripkeState(java.lang.String _name, java.util.Map _props)
           
 
Method Summary
 void addProp(XKripke.XKripkeProp prop)
           
 java.lang.String getName()
           
 XKripke.XKripkeProp getProp(java.lang.String name)
           
 java.lang.String[] getPropNames()
          Gets the names of the propositions used by the xkripke structure in String [] format.
 java.util.Set getPropNamesAsSet()
          A useful modification.
 java.util.Map getProps()
           
 XKripke getXKripke()
           
 boolean isInitial()
           
 void setInitial(boolean v)
           
 void setName(java.lang.String v)
           
 void setProps(java.util.Map v)
           
 void setXKripke(XKripke _xk)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

XKripke.XKripkeState

public XKripke.XKripkeState(java.lang.String _name)

XKripke.XKripkeState

public XKripke.XKripkeState(java.lang.String _name,
                            java.util.Map _props)
Method Detail

setXKripke

public void setXKripke(XKripke _xk)

getXKripke

public XKripke getXKripke()

isInitial

public boolean isInitial()

setInitial

public void setInitial(boolean v)

getName

public java.lang.String getName()

setName

public void setName(java.lang.String v)

getProps

public java.util.Map getProps()

getPropNames

public java.lang.String[] getPropNames()
Gets the names of the propositions used by the xkripke structure in String [] format.


getPropNamesAsSet

public java.util.Set getPropNamesAsSet()
A useful modification. (Victor)


setProps

public void setProps(java.util.Map v)

addProp

public void addProp(XKripke.XKripkeProp prop)

getProp

public XKripke.XKripkeProp getProp(java.lang.String name)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object