|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Description of the Interface
Method Summary | |
void |
addEdge(Edge e,
Vertex start,
Vertex end)
Adds a feature to the Edge attribute of the Contract object |
void |
addVertex(Vertex v)
Adds a feature to the Vertex attribute of the Contract object |
java.lang.Class |
getInterface()
getInterface This returns the marker interface which is associated with the Contract. |
void |
removeEdge(Edge e)
Description of the Method |
void |
removeVertex(Vertex v)
Description of the Method |
void |
setImpl(DirectedGraph impl)
The impl that gets passed in is read-only. |
void |
verify()
verify - This verifies that the graph it is working on complies. |
Method Detail |
public void setImpl(DirectedGraph impl)
public java.lang.Class getInterface()
public void verify() throws GraphException
GraphException
public void addEdge(Edge e, Vertex start, Vertex end) throws GraphException
GraphException
public void addVertex(Vertex v) throws GraphException
GraphException
public void removeEdge(Edge e) throws GraphException
GraphException
public void removeVertex(Vertex v) throws GraphException
GraphException
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |