pub enum VariableExpression {
Eq(Box<dyn Variable>, Float),
Lt(Box<dyn Variable>, Float),
Gt(Box<dyn Variable>, Float),
And(Box<VariableExpression>, Box<VariableExpression>),
Or(Box<VariableExpression>, Box<VariableExpression>),
Not(Box<VariableExpression>),
}
Variants§
Eq(Box<dyn Variable>, Float)
Expression which is true when the variable is equal to the float.
Lt(Box<dyn Variable>, Float)
Expression which is true when the variable is less than the float.
Gt(Box<dyn Variable>, Float)
Expression which is true when the variable is greater than the float.
And(Box<VariableExpression>, Box<VariableExpression>)
Expression which is true when both inner expressions are true.
Or(Box<VariableExpression>, Box<VariableExpression>)
Expression which is true when either inner expression is true.
Not(Box<VariableExpression>)
Expression which is true when the inner expression is false.
Implementations§
Source§impl VariableExpression
impl VariableExpression
Sourcepub fn and(&self, rhs: &VariableExpression) -> VariableExpression
pub fn and(&self, rhs: &VariableExpression) -> VariableExpression
Construct an VariableExpression::And
from the current expression and another.
Sourcepub fn or(&self, rhs: &VariableExpression) -> VariableExpression
pub fn or(&self, rhs: &VariableExpression) -> VariableExpression
Construct an VariableExpression::Or
from the current expression and another.
Trait Implementations§
Source§impl BitAnd<&VariableExpression> for &VariableExpression
impl BitAnd<&VariableExpression> for &VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
&
operator.Source§impl BitAnd<&VariableExpression> for VariableExpression
impl BitAnd<&VariableExpression> for VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
&
operator.Source§impl BitAnd<VariableExpression> for &VariableExpression
impl BitAnd<VariableExpression> for &VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
&
operator.Source§impl BitAnd for VariableExpression
impl BitAnd for VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
&
operator.Source§impl BitOr<&VariableExpression> for &VariableExpression
impl BitOr<&VariableExpression> for &VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
|
operator.Source§impl BitOr<&VariableExpression> for VariableExpression
impl BitOr<&VariableExpression> for VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
|
operator.Source§impl BitOr<VariableExpression> for &VariableExpression
impl BitOr<VariableExpression> for &VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
|
operator.Source§impl BitOr for VariableExpression
impl BitOr for VariableExpression
Source§type Output = VariableExpression
type Output = VariableExpression
The resulting type after applying the
|
operator.Source§impl Clone for VariableExpression
impl Clone for VariableExpression
Source§fn clone(&self) -> VariableExpression
fn clone(&self) -> VariableExpression
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 VariableExpression
impl Debug for VariableExpression
Source§impl Display for VariableExpression
impl Display for VariableExpression
Source§impl Not for &VariableExpression
impl Not for &VariableExpression
Auto Trait Implementations§
impl Freeze for VariableExpression
impl !RefUnwindSafe for VariableExpression
impl Send for VariableExpression
impl Sync for VariableExpression
impl Unpin for VariableExpression
impl !UnwindSafe for VariableExpression
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.