Struct ExpressionComplexity 

pub struct ExpressionComplexity {

    pub additions: usize,
    pub subtractions: usize,
    pub multiplications: usize,
    pub divisions: usize,
    pub powers: usize,
    pub exponentials: usize,
    pub logarithms: usize,
    pub square_roots: usize,
    pub absolute_values: usize,
    pub negations: usize,
    pub comparisons: usize,
    pub logical_ands: usize,
    pub logical_ors: usize,
    pub logical_nots: usize,
    pub existential_quantifiers: usize,
    pub universal_quantifiers: usize,
    pub conditionals: usize,
    pub predicates: usize,
    pub constants: usize,
    pub variables: usize,
    pub min_operations: usize,
    pub max_operations: usize,
    pub max_depth: usize,
    pub unique_variables: usize,
    pub unique_predicates: usize,
}

Detailed complexity analysis of an expression.

Fields

additions: usize

Number of addition operations

subtractions: usize

Number of subtraction operations

multiplications: usize

Number of multiplication operations

divisions: usize

Number of division operations

powers: usize

Number of power operations

exponentials: usize

Number of exponential operations

logarithms: usize

Number of logarithm operations

square_roots: usize

Number of square root operations

absolute_values: usize

Number of absolute value operations

negations: usize

Number of negation operations

comparisons: usize

Number of comparison operations

logical_ands: usize

Number of logical AND operations

logical_ors: usize

Number of logical OR operations

logical_nots: usize

Number of logical NOT operations

existential_quantifiers: usize

Number of existential quantifiers

universal_quantifiers: usize

Number of universal quantifiers

conditionals: usize

Number of conditional expressions

predicates: usize

Number of predicate applications

constants: usize

Number of constants

variables: usize

Number of variables

min_operations: usize

Number of min operations

max_operations: usize

Number of max operations

max_depth: usize

Maximum nesting depth

unique_variables: usize

Number of unique variable names

unique_predicates: usize

Number of unique predicate names

Implementations

impl ExpressionComplexity

pub fn arithmetic_operations(&self) -> usize

Get total number of arithmetic operations.

pub fn logical_operations(&self) -> usize

Get total number of logical operations.

pub fn total_operations(&self) -> usize

Get total number of operations.

pub fn total_cost(&self) -> f64

Calculate total weighted cost using default weights.

pub fn total_cost_with_weights(&self, weights: &CostWeights) -> f64

Calculate total weighted cost using custom weights.

pub fn leaf_count(&self) -> usize

Get the number of leaf nodes (constants, variables, predicates).

pub fn cse_potential(&self) -> bool

Estimate if this expression would benefit from CSE.

pub fn strength_reduction_potential(&self) -> bool

Estimate if this expression would benefit from strength reduction.

pub fn complexity_level(&self) -> &'static str

Estimate relative complexity as a string descriptor.

Trait Implementations

impl Clone for ExpressionComplexity

fn clone(&self) -> ExpressionComplexity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionComplexity

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

Formats the value using the given formatter.

impl Default for ExpressionComplexity

fn default() -> ExpressionComplexity

Returns the “default value” for a type.

impl Display for ExpressionComplexity

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

Formats the value using the given formatter.