Index
| :-: | GraphRewriting.Pattern.InteractionNet |
| <|> | GraphRewriting.Pattern, GraphRewriting |
| >>> | GraphRewriting.Rule, GraphRewriting |
| activePair | GraphRewriting.Pattern.InteractionNet |
| adjust | Data.View, GraphRewriting.Graph.Read, GraphRewriting.Graph.Write, GraphRewriting |
| adjustM | Data.View, GraphRewriting.Graph.Read, GraphRewriting.Graph.Write, GraphRewriting |
| adjustNode | |
| 1 (Function) | GraphRewriting.Graph.Write.Unsafe |
| 2 (Function) | GraphRewriting.Graph.Write, GraphRewriting |
| adjustNodeM | |
| 1 (Function) | GraphRewriting.Graph.Write.Unsafe |
| 2 (Function) | GraphRewriting.Graph.Write, GraphRewriting |
| adverse | GraphRewriting.Pattern, GraphRewriting |
| adverseNodes | GraphRewriting.Graph.Read, GraphRewriting |
| amnesia | GraphRewriting.Pattern, GraphRewriting |
| anyOf | GraphRewriting.Pattern, GraphRewriting |
| apply | GraphRewriting.Rule, GraphRewriting |
| apply' | GraphRewriting.Rule, GraphRewriting |
| attachedEdges | GraphRewriting.Graph.Read, GraphRewriting |
| attachedNodes | GraphRewriting.Graph.Read, GraphRewriting |
| benchmark | GraphRewriting.Rule, GraphRewriting |
| branch | GraphRewriting.Pattern, GraphRewriting |
| branchNodes | GraphRewriting.Pattern, GraphRewriting |
| byConnector | GraphRewriting.Rule, GraphRewriting |
| byEdge | GraphRewriting.Rule, GraphRewriting |
| byNewNode | GraphRewriting.Rule, GraphRewriting |
| byNode | GraphRewriting.Rule, GraphRewriting |
| byWire | GraphRewriting.Rule, GraphRewriting |
| connected | GraphRewriting.Graph.Read, GraphRewriting |
| copyNode | GraphRewriting.Graph.Write, GraphRewriting |
| dangling | GraphRewriting.Graph.Read, GraphRewriting |
| deleteEdge | GraphRewriting.Graph.Write, GraphRewriting |
| deleteNode | GraphRewriting.Graph.Write, GraphRewriting |
| Edge | GraphRewriting.Graph.Types, GraphRewriting.Graph.Read, GraphRewriting.Graph, GraphRewriting.Graph.Write.Unsafe, GraphRewriting.Graph.Write, GraphRewriting |
| edge | GraphRewriting.Pattern, GraphRewriting |
| edgeCardinality | GraphRewriting.Graph.Read, GraphRewriting |
| edgeMap | GraphRewriting.Graph, GraphRewriting |
| edgeOf | GraphRewriting.Pattern, GraphRewriting |
| edges | GraphRewriting.Graph, GraphRewriting |
| emptyGraph | GraphRewriting.Graph, GraphRewriting |
| erase | GraphRewriting.Rule, GraphRewriting |
| evalGraph | GraphRewriting.Graph, GraphRewriting |
| evalPattern | GraphRewriting.Pattern, GraphRewriting |
| everywhere | GraphRewriting.Rule, GraphRewriting |
| examine | Data.View, GraphRewriting.Graph.Read, GraphRewriting.Graph.Write, GraphRewriting |
| examineNode | GraphRewriting.Graph.Read, GraphRewriting |
| execGraph | GraphRewriting.Graph, GraphRewriting |
| execPattern | GraphRewriting.Pattern, GraphRewriting |
| exhaustive | GraphRewriting.Rule, GraphRewriting |
| existNode | GraphRewriting.Graph.Read, GraphRewriting |
| Graph | |
| 1 (Type/Class) | GraphRewriting.Graph.Types, GraphRewriting.Graph.Read, GraphRewriting.Graph, GraphRewriting.Graph.Write.Unsafe, GraphRewriting.Graph.Write, GraphRewriting |
| 2 (Data Constructor) | GraphRewriting.Graph, GraphRewriting |
| history | GraphRewriting.Pattern, GraphRewriting |
| INet | GraphRewriting.Pattern.InteractionNet |
| inspect | Data.View, GraphRewriting.Graph.Read, GraphRewriting.Graph.Write, GraphRewriting |
| inspectNode | GraphRewriting.Graph.Read, GraphRewriting |
| liftReader | GraphRewriting.Pattern, GraphRewriting |
| linear | GraphRewriting.Pattern, GraphRewriting |
| Match | GraphRewriting.Pattern, GraphRewriting |
| match | GraphRewriting.Pattern, GraphRewriting |
| matches | GraphRewriting.Pattern, GraphRewriting |
| mergeEdges | GraphRewriting.Graph.Write, GraphRewriting |
| modifyNode | |
| 1 (Function) | GraphRewriting.Graph.Write.Unsafe |
| 2 (Function) | GraphRewriting.Graph.Write, GraphRewriting |
| neighbour | GraphRewriting.Pattern, GraphRewriting |
| neighbours | GraphRewriting.Graph.Read, GraphRewriting |
| newEdge | GraphRewriting.Graph.Write, GraphRewriting |
| newNode | GraphRewriting.Graph.Write, GraphRewriting |
| nextFresh | GraphRewriting.Pattern, GraphRewriting |
| nextIs | GraphRewriting.Pattern, GraphRewriting |
| nextKey | GraphRewriting.Graph, GraphRewriting |
| Node | GraphRewriting.Graph.Types, GraphRewriting.Graph.Read, GraphRewriting.Graph, GraphRewriting.Graph.Write.Unsafe, GraphRewriting.Graph.Write, GraphRewriting |
| node | GraphRewriting.Pattern, GraphRewriting |
| nodeAt | GraphRewriting.Pattern, GraphRewriting |
| nodeMap | GraphRewriting.Graph, GraphRewriting |
| nodes | GraphRewriting.Graph, GraphRewriting |
| nodeWith | GraphRewriting.Pattern, GraphRewriting |
| Pair | GraphRewriting.Pattern.InteractionNet |
| pair | GraphRewriting.Pattern.InteractionNet |
| Pattern | GraphRewriting.Pattern, GraphRewriting |
| PatternT | GraphRewriting.Pattern, GraphRewriting |
| Port | GraphRewriting.Graph.Types, GraphRewriting.Graph.Read, GraphRewriting.Graph, GraphRewriting.Graph.Write.Unsafe, GraphRewriting.Graph.Write, GraphRewriting |
| previous | GraphRewriting.Pattern, GraphRewriting |
| principalPort | GraphRewriting.Pattern.InteractionNet |
| probe | GraphRewriting.Pattern, GraphRewriting |
| readEdgeList | GraphRewriting.Graph.Read, GraphRewriting |
| readNode | GraphRewriting.Graph.Read, GraphRewriting |
| readNodeList | GraphRewriting.Graph.Read, GraphRewriting |
| readOnly | GraphRewriting.Graph.Read, GraphRewriting |
| register | GraphRewriting.Graph.Write.Unsafe |
| relative | GraphRewriting.Pattern, GraphRewriting |
| relatives | GraphRewriting.Graph.Read, GraphRewriting |
| Replace | GraphRewriting.Rule, GraphRewriting |
| replace | GraphRewriting.Rule, GraphRewriting |
| require | GraphRewriting.Pattern, GraphRewriting |
| requireFailure | GraphRewriting.Pattern, GraphRewriting |
| requireM | GraphRewriting.Pattern, GraphRewriting |
| restrictOverlap | GraphRewriting.Pattern, GraphRewriting |
| rewire | GraphRewriting.Rule, GraphRewriting |
| Rewrite | GraphRewriting.Graph.Types, GraphRewriting.Graph.Read, GraphRewriting.Graph, GraphRewriting.Graph.Write.Unsafe, GraphRewriting.Graph.Write, GraphRewriting |
| rewrite | GraphRewriting.Rule, GraphRewriting |
| Rule | GraphRewriting.Rule, GraphRewriting |
| runGraph | GraphRewriting.Graph, GraphRewriting |
| runPattern | GraphRewriting.Pattern, GraphRewriting |
| runPatternT | GraphRewriting.Pattern, GraphRewriting |
| unregister | GraphRewriting.Graph.Write.Unsafe |
| unsafeMapNodes | GraphRewriting.Graph, GraphRewriting |
| unsafeMapNodesUnique | GraphRewriting.Graph, GraphRewriting |
| update | Data.View, GraphRewriting.Graph.Read, GraphRewriting.Graph.Write, GraphRewriting |
| updateNode | |
| 1 (Function) | GraphRewriting.Graph.Write.Unsafe |
| 2 (Function) | GraphRewriting.Graph.Write, GraphRewriting |
| View | Data.View, GraphRewriting.Graph.Read, GraphRewriting.Graph.Write, GraphRewriting |
| visit | GraphRewriting.Pattern, GraphRewriting |
| WithGraph | GraphRewriting.Graph.Read, GraphRewriting |
| withNodes | GraphRewriting.Graph.Read, GraphRewriting |
| writeNode | |
| 1 (Function) | GraphRewriting.Graph.Write.Unsafe |
| 2 (Function) | GraphRewriting.Graph.Write, GraphRewriting |