Struct QuantPatInfo 

pub struct QuantPatInfo {
    pub costs: f64,
    pub direct_deps: Vec<DirectDep>,
}

Fields

costs: f64

How much total cost did this quantifier + pattern accrue from individual instantiations.

direct_deps: Vec<DirectDep>

How many times does an instantiation of this quantifier depend on an instantiation of the other quantifier.

Implementations

impl QuantPatInfo

pub fn keys(&self) -> impl Iterator<Item = QuantIdx> + '_

This function will not provide an accurate view of dependencies, use only for debugging.

pub fn values(&self) -> impl Iterator<Item = u32> + '_

This function will not provide an accurate view of dependencies, use only for debugging.

pub fn iter(&self) -> impl Iterator<Item = (QuantIdx, u32)> + '_

This function will not provide an accurate view of dependencies, use only for debugging.

Trait Implementations

impl Clone for QuantPatInfo

fn clone(&self) -> QuantPatInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuantPatInfo

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

Formats the value using the given formatter.

impl Default for QuantPatInfo

fn default() -> QuantPatInfo

Returns the “default value” for a type.