Trait ZeroDetection 

pub trait ZeroDetection {
    // Required methods
    fn is_algebraic_zero(&self) -> bool;
    fn detect_zero_patterns(&self) -> bool;
    fn simplify_to_zero(&self) -> Option<Expression>;
}

Trait for zero detection in expressions

Required Methods

fn is_algebraic_zero(&self) -> bool

fn detect_zero_patterns(&self) -> bool

fn simplify_to_zero(&self) -> Option<Expression>

Implementors

impl ZeroDetection for Expression