public class PDMState extends PDMElement
PDMState()
getGraph
compareTo
equals, getId, hashCode
getAttributeMap, getLabel, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getId
equals, getLabel, hashCode
getAttributeMap
public PDMState()