|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--gshute.graph.SpanningTreeRecorder
A SpanningTreeRecorder, when attached to a graph searcher, constructs spanning trees for graphs.
In addition to implementing the methods of the GraphSearchRecorder interface, a spanning tree recorder provides the method getViaEdge() to retrieve the search edge that led to a vertex.
Field Summary | |
protected java.util.Map |
viaEdges
viaEdges is the table of via edges for this spanning tree generator. |
Constructor Summary | |
SpanningTreeRecorder()
|
Method Summary | |
void |
endSearch()
rcrdr.endSearch() performs any necessary cleanup after a search. |
java.lang.Object |
getVia(java.lang.Object ov)
rcrdr.getVia(ov) is called after a graph search using rcrdr to get the edge that led to ov in the search. |
boolean |
isVisited(java.lang.Object ov)
rcrdr.isVisited(ov) returns true if ov has been visited in a graph search using rcrdr. |
void |
revisit(java.lang.Object v,
java.lang.Object via)
revisit(v, via) records that v has been revisited, arriving at v through edge via. |
void |
startSearch(SearchableGraph sg)
rcrdr.startSearch(sg) clears all recording of via edges in rcrdr. |
boolean |
visit(java.lang.Object ov,
java.lang.Object ovia)
rcrdr.visit(ov, ovia) records in rcrdr that ov has been visited through edge ovia. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected java.util.Map viaEdges
Constructor Detail |
public SpanningTreeRecorder()
Method Detail |
public void startSearch(SearchableGraph sg)
startSearch
in interface GraphSearchRecorder
public boolean isVisited(java.lang.Object ov)
isVisited
in interface GraphSearchRecorder
public boolean visit(java.lang.Object ov, java.lang.Object ovia)
visit
in interface GraphSearchRecorder
public void revisit(java.lang.Object v, java.lang.Object via)
revisit
in interface GraphSearchRecorder
public void endSearch()
endSearch
in interface GraphSearchRecorder
public java.lang.Object getVia(java.lang.Object ov)
null
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |