Safe Haskell	None
Language	Haskell98

Graphs.GraphConnection

Description

GraphConnection contains various operations on graph connections

Synopsis

data SubGraph = SubGraph {
- 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 :: (nodeLabel1 -> (nodeLabel2, NodeType)) -> (arcLabel1 -> (arcLabel2, ArcType)) -> [Update nodeLabel2 nodeTypeLabel2 arcLabel2 arcTypeLabel2] -> GraphConnection nodeLabel1 () arcLabel1 () -> GraphConnection nodeLabel2 nodeTypeLabel2 arcLabel2 arcTypeLabel2

Documentation

Constructors

SubGraph
Fields nodeIn :: Node -> Bool nodeTypeIn :: NodeType -> Bool

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

Deprecated: Functions need to be updated to cope with MultiUpdate

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

Deprecated: Functions need to be updated to cope with MultiUpdate

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