Skip to main content

Module graph_builder

codemem_engine::index::scip

Module graph_builder 

Source
Expand description

SCIP graph builder: create nodes + edges from parsed SCIP data.

Takes the intermediate structs from the reader and produces GraphNodes, Edges, and MemoryNodes (for hover documentation).

Structs§

ScipBuildResult
Result of building graph structures from SCIP data.

Functions§

build_graph
Build graph nodes, edges, and doc memories from a parsed SCIP result.