Struct ExprComplexity 

pub struct ExprComplexity {

    pub total_nodes: usize,
    pub depth: usize,
    pub width: usize,
    pub num_variables: usize,
    pub num_constants: usize,
    pub num_predicates: usize,
    pub num_quantifiers: usize,
    pub quantifier_depth: usize,
    pub num_negations: usize,
    pub num_connectives: usize,
    pub num_arithmetic: usize,
    pub num_set_ops: usize,
    pub num_let_bindings: usize,
    pub branching_factor: f64,
    pub leaf_ratio: f64,
}

Comprehensive complexity metrics for a TLExpr tree.

Fields

total_nodes: usize

Total AST nodes in the expression tree.

depth: usize

Maximum depth of the tree (root = depth 1).

width: usize

Maximum number of siblings at any single level.

num_variables: usize

Number of distinct variable names across the tree.

num_constants: usize

Number of constant / literal nodes.

num_predicates: usize

Number of predicate application nodes.

num_quantifiers: usize

Number of quantifier nodes (ForAll, Exists, soft, counting, etc.).

quantifier_depth: usize

Maximum nesting depth of quantifiers.

num_negations: usize

Number of Not / FuzzyNot nodes.

num_connectives: usize

Number of connective nodes (And, Or, Imply, Iff, TNorm, TCoNorm, etc.).

num_arithmetic: usize

Number of arithmetic operation nodes.

num_set_ops: usize

Number of set operation nodes.

num_let_bindings: usize

Number of let / lambda / fixpoint binding nodes.

branching_factor: f64

Average children per internal (non-leaf) node.

leaf_ratio: f64

Ratio of leaf nodes to total nodes.

Implementations

impl ExprComplexity

pub fn analyze(expr: &TLExpr) -> Self

Compute complexity metrics for a TLExpr.

pub fn score(&self) -> f64

A scalar “complexity score” summarising overall complexity (weighted sum).

pub fn is_simple(&self, threshold: f64) -> bool

Returns true when the scalar Self::score is below threshold.

pub fn summary(&self) -> String

Human-readable one-line summary.

pub fn format_table(&self) -> String

Tabular representation of all metrics.

Trait Implementations

impl Clone for ExprComplexity

fn clone(&self) -> ExprComplexity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprComplexity

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

Formats the value using the given formatter.

impl Default for ExprComplexity

fn default() -> ExprComplexity

Returns the “default value” for a type.

impl Display for ExprComplexity

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

Formats the value using the given formatter.