pub struct ExpSimplificationStrategy;Expand description
Exponential function simplification strategy
Trait Implementations§
Source§impl SimplificationStrategy for ExpSimplificationStrategy
impl SimplificationStrategy for ExpSimplificationStrategy
Source§fn simplify(&self, args: &[Expression]) -> Expression
fn simplify(&self, args: &[Expression]) -> Expression
Apply simplification rules to function call Read more
Source§fn applies_to(&self, args: &[Expression]) -> bool
fn applies_to(&self, args: &[Expression]) -> bool
Check if simplification strategy applies to given arguments Read more
Auto Trait Implementations§
impl Freeze for ExpSimplificationStrategy
impl RefUnwindSafe for ExpSimplificationStrategy
impl Send for ExpSimplificationStrategy
impl Sync for ExpSimplificationStrategy
impl Unpin for ExpSimplificationStrategy
impl UnwindSafe for ExpSimplificationStrategy
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more