public static class GraphCollapser.DirectedCollapsedEdge extends DirectedSparseEdge implements GraphCollapser.CollapsedEdge
UserDataContainer.CopyAction
mFrom, mTo
id, m_Graph
factory, udc_delegate
Constructor and Description |
---|
GraphCollapser.DirectedCollapsedEdge(Vertex opposite,
Vertex superVertex,
java.util.Set relevantEdges) |
Modifier and Type | Method and Description |
---|---|
java.util.Set |
getRelevantEdges() |
getDest, getSource
copy, getEndpoints, getIncidentVertices, getOpposite, isIncident, numVertices, toString
equals, getEqualEdge, getEquivalentEdge, getIncidentElements
addGraph_internal, getGraph, hashCode, initialize, removeGraph_internal
addUserDatum, clone, containsUserDatumKey, getUserDatum, getUserDatumCopyAction, getUserDatumKeyIterator, importUserData, removeUserDatum, setUserDataFactory, setUserDatum
finalize, getClass, notify, notifyAll, wait, wait, wait
getEndpoints, getOpposite
copy, getEqualEdge, getEquivalentEdge, getIncidentVertices, isIncident, numVertices
getGraph, getIncidentElements
addUserDatum, clone, containsUserDatumKey, getUserDatum, getUserDatumCopyAction, getUserDatumKeyIterator, importUserData, removeUserDatum, setUserDatum
public java.util.Set getRelevantEdges()
getRelevantEdges
in interface GraphCollapser.CollapsedEdge