weir/fixed_point_graph.rs
1//! Reusable packed graph state for Weir fixed-point GPU wrappers.
2//!
3//! Fixed-point analyses iterate over changing frontier buffers while the CSR
4//! graph stays invariant. This module owns that invariant byte packing so batch
5//! callers can prepare a graph once and reuse it across repeated executions.
6
7mod graph;
8mod kind;
9mod plan;
10
11#[cfg(test)]
12mod tests;
13
14pub use graph::FixedPointForwardGraph;
15pub use kind::FixedPointAnalysisKind;
16pub use plan::FixedPointAnalysisPlan;