edu.toronto.cs.xkripke
Class XKripke.XKripkeState
java.lang.Object
edu.toronto.cs.xkripke.XKripke.XKripkeState
- Enclosing class:
- XKripke
public static class XKripke.XKripkeState
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
XKripke.XKripkeState
public XKripke.XKripkeState(java.lang.String _name)
XKripke.XKripkeState
public XKripke.XKripkeState(java.lang.String _name,
java.util.Map _props)
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