Module graph_view 

GraphView: a universal view over a classified graph.

Ported from Pattern.Graph.GraphView in the Haskell reference implementation.

A GraphView pairs a GraphQuery (read-only query interface) with a flat list of classified elements. All graph transformations operate over GraphView and produce a new GraphView; only materialize converts back to PatternGraph.

Structs

GraphView

A universal graph-like interface: a query over the graph plus a list of classified elements.

Functions

from_graph_lens

Builds a GraphView from a GraphLens.

from_pattern_graph

Builds a GraphView from an existing PatternGraph and classifier.

materialize

Consumes a GraphView and produces a PatternGraph.