Struct ExpressionProfile 

pub struct ExpressionProfile {
    pub and_count: usize,
    pub or_count: usize,
    pub not_count: usize,
    pub exists_count: usize,
    pub forall_count: usize,
    pub implication_count: usize,
    pub arithmetic_count: usize,
    pub comparison_count: usize,
    pub max_depth: usize,
    pub has_nested_quantifiers: bool,
    pub has_negated_quantifiers: bool,
    pub has_mixed_operations: bool,
}

Expression characteristics that influence strategy selection.

Fields

and_count: usize

Number of AND operations

or_count: usize

Number of OR operations

not_count: usize

Number of NOT operations

exists_count: usize

Number of EXISTS quantifiers

forall_count: usize

Number of FORALL quantifiers

implication_count: usize

Number of implications

arithmetic_count: usize

Number of arithmetic operations

comparison_count: usize

Number of comparisons

max_depth: usize

Maximum nesting depth

has_nested_quantifiers: bool

Has nested quantifiers

has_negated_quantifiers: bool

Has negated quantifiers

has_mixed_operations: bool

Has arithmetic mixed with logic

Implementations

impl ExpressionProfile

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

Analyze an expression to build its profile.

pub fn complexity_score(&self) -> f64

Calculate a complexity score for the expression.

Trait Implementations

impl Clone for ExpressionProfile

fn clone(&self) -> ExpressionProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionProfile

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

Formats the value using the given formatter.

impl Default for ExpressionProfile

fn default() -> ExpressionProfile

Returns the “default value” for a type.