Struct InferenceReport 

pub struct InferenceReport {
    pub total_values: usize,
    pub resolved: Vec<ValueId>,
    pub unresolved: Vec<ValueId>,
    pub fresh_symbols: usize,
    pub containers: HashMap<ValueId, ValueType>,
}

A summary of what whole-graph inference resolved.

A value is “resolved” once it has a known dtype and a known-rank shape (every dimension is concrete or symbolic — never unknown). Values an op rule could not resolve (unregistered op, data-dependent extent without shape-data) are listed in unresolved.

Fields

total_values: usize

Total number of live values in the graph.

resolved: Vec<ValueId>

Values that ended with a resolved shape.

unresolved: Vec<ValueId>

Values left without a resolved shape.

fresh_symbols: usize

Number of fresh symbolic dimensions minted during inference.

containers: HashMap<ValueId, ValueType>

Container-typed values (Sequence/Optional/Map) and their inferred element type. Empty for pure-tensor graphs (the tensor path never materialises a ValueType), which keeps that path byte-identical. Populated for Sequence-family producers and control-flow nodes whose body outputs are containers.

Implementations

impl InferenceReport

pub fn num_resolved(&self) -> usize

The number of resolved values.

pub fn num_unresolved(&self) -> usize

The number of unresolved values.

pub fn fully_resolved(&self) -> bool

Whether every live value in the graph resolved to a known shape.

Trait Implementations

impl Clone for InferenceReport

fn clone(&self) -> InferenceReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceReport

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

Formats the value using the given formatter.

impl Default for InferenceReport

fn default() -> InferenceReport

Returns the “default value” for a type.

impl Eq for InferenceReport

impl PartialEq for InferenceReport

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InferenceReport