Struct IfdsShape 

pub struct IfdsShape {
    pub num_procs: u32,
    pub blocks_per_proc: u32,
    pub facts_per_proc: u32,
    pub edge_count: u32,
}

Dispatch geometry for one IFDS BFS step on the GPU.

Fields

num_procs: u32

Number of procedures in the exploded supergraph.

blocks_per_proc: u32

Number of basic blocks encoded per procedure.

facts_per_proc: u32

Number of dataflow facts encoded per procedure.

edge_count: u32

Number of graph edges in the CSR representation.

Implementations

impl IfdsShape

pub const fn new( num_procs: u32, blocks_per_proc: u32, facts_per_proc: u32, edge_count: u32, ) -> Self

Construct an IfdsShape from individual dimensions.

pub fn node_count(&self) -> Result<u32, String>

Number of exploded-supergraph nodes = procs * blocks * facts.

pub fn checked_node_count(&self) -> Result<u32, String>

Checked node count for callers that can return structured errors.

pub fn node_domain(&self) -> Result<LinearDomain, String>

Shared linear layout domain for the exploded IFDS supergraph.

pub fn fits(&self) -> bool

Pre-flight fit check for 32-bit exploded-node encoding.

pub fn certificate(&self) -> IfdsShapeCertificate

Build an auditable shape certificate without duplicating validation logic. Invalid shapes return fits=false plus the same cap reason used by checked dispatch paths.

Trait Implementations

impl Clone for IfdsShape

fn clone(&self) -> IfdsShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IfdsShape

impl Debug for IfdsShape

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

Formats the value using the given formatter.

impl PartialEq for IfdsShape

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

Equality operator ==.

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

Inequality operator !=.

impl SoundnessTagged for IfdsShape

fn soundness(&self) -> Soundness

Return the soundness regime of this primitive.

impl StructuralPartialEq for IfdsShape