Struct LoopBodyComplexity 

pub struct LoopBodyComplexity {
    pub let_count: usize,
    pub app_count: usize,
    pub ctor_count: usize,
    pub case_count: usize,
    pub max_case_depth: usize,
}

Measures the “complexity” of a loop body to guide hoisting aggressiveness.

Fields

let_count: usize

Total number of let-bindings in the body.

app_count: usize

Number of function application let-values.

ctor_count: usize

Number of constructor let-values.

case_count: usize

Number of case expressions in the body.

max_case_depth: usize

Maximum depth of nested case expressions.

Implementations

impl LoopBodyComplexity

pub fn compute(expr: &LcnfExpr) -> Self

Compute the complexity of an expression.

pub fn score(&self) -> usize

Return a scalar complexity score.

Trait Implementations

impl Clone for LoopBodyComplexity

fn clone(&self) -> LoopBodyComplexity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopBodyComplexity

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

Formats the value using the given formatter.

impl Default for LoopBodyComplexity

fn default() -> LoopBodyComplexity

Returns the “default value” for a type.