Class ColorRefinementIsomorphismInspector.DistinctGraphObject<T,​V,​E>

  • Type Parameters:
    V - the vertex type of the graph
    E - the edge type of the graph
    Enclosing class:
    ColorRefinementIsomorphismInspector<V,​E>

    private static class ColorRefinementIsomorphismInspector.DistinctGraphObject<T,​V,​E>
    extends java.lang.Object
    Representation of a graph vertex in the disjoint union
    • Constructor Detail

      • DistinctGraphObject

        private DistinctGraphObject​(T object,
                                    Graph<V,​E> graph)
    • Method Detail

      • getObject

        public T getObject()
      • getGraph

        public Graph<V,​E> getGraph()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object