Struct PreparedIfdsCsr 

pub struct PreparedIfdsCsr { /* private fields */ }

Reusable IFDS exploded-supergraph CSR prepared once for many seed queries.

The packed ProgramGraph buffers are retained in the shape consumed by ifds_gpu_step, so callers that solve many source/fact queries over one graph avoid rebuilding and repacking the invariant CSR every time.

Implementations

impl PreparedIfdsCsr

pub fn shape(&self) -> IfdsShape

IFDS problem shape encoded by this prepared CSR.

pub fn node_count(&self) -> u32

Exploded-supergraph node count.

pub fn frontier_words(&self) -> usize

Number of u32 words in one frontier bitset.

pub fn retained_graph_bytes(&self) -> usize

Total resident bytes required by invariant packed graph buffers.

pub fn stable_layout_hash(&self) -> u64

Deterministic hash of the prepared IFDS CSR layout and packed bytes.

Trait Implementations

impl Clone for PreparedIfdsCsr

fn clone(&self) -> PreparedIfdsCsr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PreparedIfdsCsr

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

Formats the value using the given formatter.

impl PartialEq for PreparedIfdsCsr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PreparedIfdsCsr