Graphs.GraphConnection

GraphConnection contains various operations on graph connections

Documentation

data SubGraph

Constructors

SubGraph

Fields

nodeIn :: Node -> Bool

nodeTypeIn :: NodeType -> Bool

attachSuperGraph :: SubGraph -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel

attachSubGraph :: SubGraph -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel

mapGraphConnection

Arguments

:: (nodeLabel1 -> (nodeLabel2, NodeType))

function to compute node label in new graph and type

-> (arcLabel1 -> (arcLabel2, ArcType))

function to compute arc label in new graph and type

-> [Update nodeLabel2 nodeTypeLabel2 arcLabel2 arcTypeLabel2]

updates prepended to initialse types. (The type declarations in the input graph are discarded)

-> GraphConnection nodeLabel1 () arcLabel1 ()

-> GraphConnection nodeLabel2 nodeTypeLabel2 arcLabel2 arcTypeLabel2