pub trait ZeroDetection {
// Required methods
fn is_algebraic_zero(&self) -> bool;
fn detect_zero_patterns(&self) -> bool;
fn simplify_to_zero(&self) -> Option<Expression>;
}Expand description
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>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".