Expand description
Graph trait hierarchy and typed graph contracts.
Graphs are fully typed and monomorphized. Node/edge counts are const generics;
there is no runtime-length collection in the hot path.
Key traits:
GraphApi— top-level entry point; step + occupancy sampling.ScopedGraphApi(std) — concurrent variant with scoped worker threads.GraphNodeAccess<I>/GraphEdgeAccess<E>— compile-time indexed access.GraphNodeTypes<I, IN, OUT>— per-node payload and queue type associations.GraphNodeContextBuilder<I, IN, OUT>— factory forStepContext.
Submodules:
validate—GraphValidatorandGraphDescBuffor descriptor validation.bench— test graphs (bench/testfeature).
Modules§
Traits§
- Graph
Api - Unified runtime-facing graph API.
- Graph
Edge Access - Provides indexed access to a graph edge.
- Graph
Node Access - Provides indexed access to a graph node.
- Graph
Node Context Builder - Builder for per-node execution contexts.
- Graph
Node Types - Defines per-node compile-time types and arity.
- Scoped
Graph Api - Extension trait for graphs that support concurrent execution via scoped threads.
Type Aliases§
- Edge
Occupancy Buf - Opaque, runtime-owned buffer of edge occupancy snapshots.