Documentation

newtype VertexId Source

type VertexInfo = (VertexKind, Maybe Tp)Source

data VertexKind Source

vertexIdToTp :: VertexId -> TpSource

data EdgeId Source

newtype EdgeNr Source

data ChildSide Source

makeEdgeNr :: Int -> EdgeNrSource

impliedEdgeNr :: EdgeNrSource

data ParentChild Source

type TypeGraphPath info = Path (EdgeId, PathStep info)Source

data PathStep info Source

newtype Clique Source

type CliqueList = [Clique]Source

isSubsetClique :: Clique -> Clique -> BoolSource

isDisjointClique :: Clique -> Clique -> BoolSource

cliqueRepresentative :: Clique -> VertexIdSource

triplesInClique :: Clique -> [ParentChild]Source

childrenInClique :: Clique -> [VertexId]Source

mergeCliques :: CliqueList -> CliqueSource

makeClique :: [ParentChild] -> CliqueSource

combineCliqueList :: CliqueList -> CliqueList -> CliqueListSource