pub enum ConstantPattern {
Zero,
One,
NegativeOne,
NonZero,
Finite,
}Expand description
Pattern for constants that can enable simplifications
Variants§
Zero
Zero constant
One
One constant
NegativeOne
Negative one constant
NonZero
Any non-zero constant
Finite
Any finite constant
Implementations§
Source§impl ConstantPattern
impl ConstantPattern
Sourcepub fn matches<F: Float>(&self, value: &ConstantValue<F>) -> bool
pub fn matches<F: Float>(&self, value: &ConstantValue<F>) -> bool
Check if a constant value matches this pattern
Trait Implementations§
Source§impl Clone for ConstantPattern
impl Clone for ConstantPattern
Source§fn clone(&self) -> ConstantPattern
fn clone(&self) -> ConstantPattern
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ConstantPattern
impl Debug for ConstantPattern
impl Copy for ConstantPattern
Auto Trait Implementations§
impl Freeze for ConstantPattern
impl RefUnwindSafe for ConstantPattern
impl Send for ConstantPattern
impl Sync for ConstantPattern
impl Unpin for ConstantPattern
impl UnsafeUnpin for ConstantPattern
impl UnwindSafe for ConstantPattern
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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