Struct OperatorCounts 

pub struct OperatorCounts {

    pub total: usize,
    pub logical: usize,
    pub arithmetic: usize,
    pub comparison: usize,
    pub mathematical: usize,
    pub quantifiers: usize,
    pub modal: usize,
    pub temporal: usize,
    pub fuzzy: usize,
    pub probabilistic: usize,
    pub aggregation: usize,
    pub control_flow: usize,
    pub predicates: usize,
    pub constants: usize,
}

Detailed operator counts categorized by type.

Fields

total: usize

Total number of operators

logical: usize

Basic logical operators (And, Or, Not, Imply)

arithmetic: usize

Arithmetic operators (Add, Sub, Mul, Div, Pow, Mod, Min, Max)

comparison: usize

Comparison operators (Eq, Lt, Gt, Lte, Gte)

mathematical: usize

Unary mathematical functions (Abs, Floor, Ceil, Round, Sqrt, Exp, Log, Sin, Cos, Tan)

quantifiers: usize

Quantifiers (Exists, ForAll, SoftExists, SoftForAll)

modal: usize

Modal logic operators (Box, Diamond)

temporal: usize

Temporal logic operators (Next, Eventually, Always, Until, Release, WeakUntil, StrongRelease)

fuzzy: usize

Fuzzy logic operators (TNorm, TCoNorm, FuzzyNot, FuzzyImplication)

probabilistic: usize

Probabilistic operators (WeightedRule, ProbabilisticChoice)

aggregation: usize

Aggregation operators

control_flow: usize

Control flow (IfThenElse, Let)

predicates: usize

Predicates

constants: usize

Constants

Implementations

impl OperatorCounts

pub fn new() -> Self

Create a new empty operator count.

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

Compute operator counts from an expression.

Trait Implementations

impl Clone for OperatorCounts

fn clone(&self) -> OperatorCounts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperatorCounts

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

Formats the value using the given formatter.

impl Default for OperatorCounts

fn default() -> OperatorCounts

Returns the “default value” for a type.

impl PartialEq for OperatorCounts

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

impl StructuralPartialEq for OperatorCounts