public static interface GraphCollapser.CollapsedEdge extends Edge
UserDataContainer.CopyAction
Modifier and Type | Method and Description |
---|---|
java.util.Set |
getRelevantEdges() |
getEndpoints, getOpposite
copy, getEqualEdge, getEquivalentEdge, getIncidentVertices, isIncident, numVertices
getGraph, getIncidentElements
addUserDatum, clone, containsUserDatumKey, getUserDatum, getUserDatumCopyAction, getUserDatumKeyIterator, importUserData, removeUserDatum, setUserDatum