Struct AgdaExtPassStats 

pub struct AgdaExtPassStats {
    pub iterations: usize,
    pub changed: bool,
    pub nodes_visited: usize,
    pub nodes_modified: usize,
    pub time_ms: u64,
    pub memory_bytes: usize,
    pub errors: usize,
}

Statistics for AgdaExt passes.

Fields

iterations: usize

changed: bool

nodes_visited: usize

nodes_modified: usize

time_ms: u64

memory_bytes: usize

errors: usize

Implementations

impl AgdaExtPassStats

pub fn new() -> Self

pub fn visit(&mut self)

pub fn modify(&mut self)

pub fn iterate(&mut self)

pub fn error(&mut self)

pub fn efficiency(&self) -> f64

pub fn merge(&mut self, o: &AgdaExtPassStats)

Trait Implementations

impl Clone for AgdaExtPassStats

fn clone(&self) -> AgdaExtPassStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgdaExtPassStats

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

Formats the value using the given formatter.

impl Default for AgdaExtPassStats

fn default() -> AgdaExtPassStats

Returns the “default value” for a type.