pub enum ComparisonRelation {
Greater,
GreaterEqual,
Equal,
}Expand description
Degree-comparison relation for LogicExpr::Comparative.
Greater is the strict comparative (>, “taller than”); GreaterEqual is the
equative (≥, “as tall as” — at least as tall); Equal is the exact equative
(“exactly as tall as”).
Variants§
Trait Implementations§
Source§impl Clone for ComparisonRelation
impl Clone for ComparisonRelation
Source§fn clone(&self) -> ComparisonRelation
fn clone(&self) -> ComparisonRelation
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · 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 ComparisonRelation
impl Debug for ComparisonRelation
Source§impl PartialEq for ComparisonRelation
impl PartialEq for ComparisonRelation
Source§fn eq(&self, other: &ComparisonRelation) -> bool
fn eq(&self, other: &ComparisonRelation) -> bool
Tests for
self and other values to be equal, and is used by ==.impl Copy for ComparisonRelation
impl Eq for ComparisonRelation
impl StructuralPartialEq for ComparisonRelation
Auto Trait Implementations§
impl Freeze for ComparisonRelation
impl RefUnwindSafe for ComparisonRelation
impl Send for ComparisonRelation
impl Sync for ComparisonRelation
impl Unpin for ComparisonRelation
impl UnsafeUnpin for ComparisonRelation
impl UnwindSafe for ComparisonRelation
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