Struct IndexedCondensedIntersectionStats 

pub struct IndexedCondensedIntersectionStats {
    pub output_states: usize,
    pub output_rules: usize,
    pub right_nullary_rules: usize,
    pub right_indexed_queries: usize,
}

Counters collected by materialize_indexed_condensed_intersection.

Fields

output_states: usize

Number of product states in the materialized intersection.

output_rules: usize

Number of product rules in the materialized intersection.

right_nullary_rules: usize

Number of right-side condensed nullary rule shapes visited.

right_indexed_queries: usize

Number of right-side indexed condensed queries issued.

Implementations

impl IndexedCondensedIntersectionStats

pub fn right_queries(&self) -> usize

Total number of right-side nullary shapes plus indexed queries.

Trait Implementations

impl Clone for IndexedCondensedIntersectionStats

fn clone(&self) -> IndexedCondensedIntersectionStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IndexedCondensedIntersectionStats

impl Debug for IndexedCondensedIntersectionStats

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

Formats the value using the given formatter.

impl Default for IndexedCondensedIntersectionStats

fn default() -> IndexedCondensedIntersectionStats

Returns the “default value” for a type.

impl Eq for IndexedCondensedIntersectionStats

impl PartialEq for IndexedCondensedIntersectionStats

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for IndexedCondensedIntersectionStats