Struct FixedPointForwardGraph 

pub struct FixedPointForwardGraph { /* private fields */ }

Packed forward CSR graph buffers ready for Vyre dispatch.

Implementations

impl FixedPointForwardGraph

pub fn new( stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], ) -> Result<Self, String>

Validate and pack invariant forward-CSR buffers once.

pub fn new_for_kind( kind: FixedPointAnalysisKind, stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], ) -> Result<Self, String>

Validate and pack invariant forward-CSR buffers for one analysis family.

pub fn new_with_edge_kind_mask( stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], allowed_mask: u32, ) -> Result<Self, String>

Validate and pack invariant CSR buffers once after masking edge kinds.

pub fn new_with_edge_kind_mask_for_kind( kind: FixedPointAnalysisKind, stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], allowed_mask: u32, ) -> Result<Self, String>

Validate and pack masked CSR buffers for one analysis family.

pub fn replace( &mut self, stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], ) -> Result<(), String>

Validate and repack this graph in place while retaining buffer capacity.

pub fn replace_for_kind( &mut self, kind: FixedPointAnalysisKind, stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], ) -> Result<(), String>

Validate and repack this graph for the same analysis family.

pub fn replace_with_edge_kind_mask( &mut self, stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], allowed_mask: u32, ) -> Result<(), String>

Validate and repack this graph after masking edge kinds in place while retaining buffer capacity.

pub fn replace_with_edge_kind_mask_for_kind( &mut self, kind: FixedPointAnalysisKind, stage: &str, node_count: u32, edge_offsets: &[u32], edge_targets: &[u32], edge_kind_mask: &[u32], allowed_mask: u32, ) -> Result<(), String>

Validate and repack masked CSR buffers for the same analysis family.

pub fn kind(&self) -> FixedPointAnalysisKind

Analysis family this prepared graph layout belongs to.

pub fn require_kind( &self, expected: FixedPointAnalysisKind, consumer: &str, ) -> Result<(), String>

Verify this graph layout is consumed by the analysis family that prepared it.

pub fn node_count(&self) -> u32

Number of graph nodes in the prepared dispatch domain.

pub fn edge_count(&self) -> u32

Number of graph edges in the prepared dispatch domain.

pub fn retained_bytes(&self) -> usize

Total retained bytes across invariant packed graph buffers.

pub fn stable_layout_hash(&self) -> u64

Deterministic hash of the normalized graph layout.

This is intentionally not HashMap’s randomized hasher. Plan and resident-resource caches need a stable key for equivalent CSR layouts across runs, devices, and processes.

Trait Implementations

impl Clone for FixedPointForwardGraph

fn clone(&self) -> FixedPointForwardGraph

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FixedPointForwardGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for FixedPointForwardGraph

fn eq(&self, other: &FixedPointForwardGraph) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FixedPointForwardGraph