Math.Grads.Algo.Isomorphism.Types

Documentation

type VertexIndex = Int

Type alias for Int.

type VComparator v1 v2 = VertexIndex -> VertexIndex -> Bool

Function that checks whether two vertices are identical. Due to properties related to index of vertex, like number of neighbors, we consider vertex indices instead of vertices.

type EComparator e1 e2 = GraphEdge e1 -> GraphEdge e2 -> Bool

Function that checks whether two edges are identical. Due to properties related to index of vertex, like belonging to a cycle, we consider GraphEdge (Int, Int, e) instead of e.

class (Graph g1, Graph g2) => GComparable g1 v1 e1 g2 v2 e2 where

Type class for graphs that could be checked for isomorphism.

Methods

vComparator :: g1 v1 e1 -> g2 v2 e2 -> VComparator v1 v2

eComparator :: g1 v1 e1 -> g2 v2 e2 -> EComparator e1 e2