Struct ExprStats 

pub struct ExprStats {
    pub node_count: usize,
    pub max_depth: usize,
    pub predicate_count: usize,
    pub quantifier_count: usize,
    pub logical_op_count: usize,
    pub arithmetic_op_count: usize,
    pub comparison_op_count: usize,
    pub free_var_count: usize,
}

Statistics about a TLExpr.

Fields

node_count: usize

Total number of nodes in the expression tree

max_depth: usize

Maximum depth of the expression tree

predicate_count: usize

Number of predicates

quantifier_count: usize

Number of quantifiers (exists + forall)

logical_op_count: usize

Number of logical operators (and, or, not, imply)

arithmetic_op_count: usize

Number of arithmetic operators

comparison_op_count: usize

Number of comparison operators

free_var_count: usize

Number of free variables

Implementations

impl ExprStats

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

Compute statistics for an expression.

Trait Implementations

impl Clone for ExprStats

fn clone(&self) -> ExprStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprStats

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

Formats the value using the given formatter.

impl PartialEq for ExprStats

fn eq(&self, other: &ExprStats) -> 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 Eq for ExprStats

impl StructuralPartialEq for ExprStats