Struct ComplexityMetrics 

pub struct ComplexityMetrics {
    pub max_depth: usize,
    pub avg_depth: f64,
    pub node_count: usize,
    pub leaf_count: usize,
    pub branching_factor: f64,
    pub cyclomatic_complexity: usize,
    pub quantifier_depth: usize,
    pub modal_depth: usize,
    pub temporal_depth: usize,
}

Complexity metrics for an expression.

Fields

max_depth: usize

Maximum depth of the expression tree

avg_depth: f64

Average depth of leaf nodes

node_count: usize

Total number of nodes

leaf_count: usize

Number of leaf nodes (predicates and constants)

branching_factor: f64

Branching factor (average number of children per non-leaf node)

cyclomatic_complexity: usize

Cyclomatic complexity (number of decision points + 1)

quantifier_depth: usize

Quantifier depth (maximum nesting level of quantifiers)

modal_depth: usize

Modal depth (maximum nesting level of modal operators)

temporal_depth: usize

Temporal depth (maximum nesting level of temporal operators)

Implementations

impl ComplexityMetrics

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

Compute complexity metrics from an expression.

Trait Implementations

impl Clone for ComplexityMetrics

fn clone(&self) -> ComplexityMetrics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComplexityMetrics

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

Formats the value using the given formatter.

impl PartialEq for ComplexityMetrics

fn eq(&self, other: &ComplexityMetrics) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ComplexityMetrics