Enum SimplificationPattern 

pub enum SimplificationPattern {
    AddZero,
    SubZero,
    MulOne,
    DivOne,
    MulZero,
    SubSelf,
    DivSelf,
    LogExp,
    ExpLog,
    SqrtSquare,
    PowOne,
    PowZero,
}

Types of simplification patterns

Variants

AddZero

x + 0 → x

SubZero

x - 0 → x

MulOne

x * 1 → x

DivOne

x / 1 → x

MulZero

x * 0 → 0

SubSelf

x - x → 0

DivSelf

x / x → 1

LogExp

log(exp(x)) → x

ExpLog

exp(log(x)) → x

SqrtSquare

sqrt(x^2) → abs(x)

PowOne

pow(x, 1) → x

PowZero

pow(x, 0) → 1

Trait Implementations

impl Clone for SimplificationPattern

fn clone(&self) -> SimplificationPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimplificationPattern

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

Formats the value using the given formatter.

impl PartialEq for SimplificationPattern

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

impl StructuralPartialEq for SimplificationPattern