| java.lang.Object gov.nasa.ltl.graph.Edge
Edge | public class Edge (Code) | | DOCUMENT ME!
|
Constructor Summary | |
public | Edge(Node s, Node n, String g, String a, Attributes as) | public | Edge(Node s, Node n, String g, String a) | public | Edge(Node s, Node n, String g) | public | Edge(Node s, Node n) | public | Edge(Node s, Edge e) | public | Edge(Edge e, Node n) | public | Edge(Edge e) |
getBooleanAttribute | public boolean getBooleanAttribute(String name)(Code) | | |
getIntAttribute | public int getIntAttribute(String name)(Code) | | |
remove | public synchronized void remove()(Code) | | |
setBooleanAttribute | public void setBooleanAttribute(String name, boolean value)(Code) | | |
setIntAttribute | public void setIntAttribute(String name, int value)(Code) | | |
|
|