public class GraphOrdering<V,E>
extends java.lang.Object
Constructor and Description |
---|
GraphOrdering(Graph<V,E> regularGraph)
Creates a new labels graph according to the regular graph.
|
GraphOrdering(Graph<V,E> regularGraph,
java.util.Set<V> vertexSet,
java.util.Set<E> edgeSet)
Creates a new labels graph according to the regular graph.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equalsByEdgeOrder(GraphOrdering otherGraph)
Tests equality by order of edges
|
java.util.Set<org.jgrapht.experimental.isomorphism.GraphOrdering.LabelsEdge> |
getLabelsEdgesSet() |
java.lang.String |
toString()
This is the format example:
|
public GraphOrdering(Graph<V,E> regularGraph)
regularGraph
- public GraphOrdering(Graph<V,E> regularGraph, java.util.Set<V> vertexSet, java.util.Set<E> edgeSet)
regularGraph
- vertexSet
- edgeSet
- public boolean equalsByEdgeOrder(GraphOrdering otherGraph)
public java.util.Set<org.jgrapht.experimental.isomorphism.GraphOrdering.LabelsEdge> getLabelsEdgesSet()
public java.lang.String toString()
mapVertexToOrder= labelsOrder=
toString
in class java.lang.Object