| |
|
| java.lang.Object gov.nasa.ltl.graph.Graph
Graph | public class Graph (Code) | | DOCUMENT ME!
|
FSP_FORMAT | final public static int FSP_FORMAT(Code) | | |
SM_FORMAT | final public static int SM_FORMAT(Code) | | |
SPIN_FORMAT | final public static int SPIN_FORMAT(Code) | | |
XML_FORMAT | final public static int XML_FORMAT(Code) | | |
getBooleanAttribute | public boolean getBooleanAttribute(String name)(Code) | | |
getEdgeCount | public int getEdgeCount()(Code) | | |
getIntAttribute | public int getIntAttribute(String name)(Code) | | |
getNodeCount | public int getNodeCount()(Code) | | |
removeNode | synchronized void removeNode(Node n)(Code) | | |
save | public synchronized void save(int format)(Code) | | |
save | public synchronized void save()(Code) | | |
setBooleanAttribute | public synchronized void setBooleanAttribute(String name, boolean value)(Code) | | |
setInit | public synchronized void setInit(Node n)(Code) | | |
setIntAttribute | public synchronized void setIntAttribute(String name, int value)(Code) | | |
setStringAttribute | public synchronized void setStringAttribute(String name, String value)(Code) | | |
|
|
|