Struct ResidentPreparedIfdsCsr 

pub struct ResidentPreparedIfdsCsr<R> { /* private fields */ }

IFDS CSR and invariant ProgramGraph buffers uploaded once to a backend.

Implementations

impl<R> ResidentPreparedIfdsCsr<R>

pub fn shape(&self) -> IfdsShape

IFDS problem shape encoded by this resident CSR.

pub fn node_count(&self) -> u32

Exploded-supergraph node count.

pub fn edge_count(&self) -> u32

Exploded-supergraph edge count.

pub fn frontier_words(&self) -> usize

Number of u32 words in one frontier bitset.

pub fn stable_layout_hash(&self) -> u64

Stable layout hash copied from the prepared CSR at upload time.

Trait Implementations

impl<R: Debug> Debug for ResidentPreparedIfdsCsr<R>

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

Formats the value using the given formatter.