pub enum WeightedRelation {
EQ(f64),
LE(f64),
GE(f64),
}
Expand description
This is part of the syntactic sugar used for specifying constraints. This enum should be used as part of a constraint expression. See the module documentation for more information.
Variants§
Trait Implementations§
Source§impl BitOr<WeightedRelation> for Expression
impl BitOr<WeightedRelation> for Expression
Source§type Output = PartialConstraint
type Output = PartialConstraint
The resulting type after applying the
|
operator.Source§fn bitor(self, r: WeightedRelation) -> PartialConstraint
fn bitor(self, r: WeightedRelation) -> PartialConstraint
Performs the
|
operation. Read moreSource§impl BitOr<WeightedRelation> for Term
impl BitOr<WeightedRelation> for Term
Source§type Output = PartialConstraint
type Output = PartialConstraint
The resulting type after applying the
|
operator.Source§fn bitor(self, r: WeightedRelation) -> PartialConstraint
fn bitor(self, r: WeightedRelation) -> PartialConstraint
Performs the
|
operation. Read moreSource§impl BitOr<WeightedRelation> for Variable
impl BitOr<WeightedRelation> for Variable
Source§type Output = PartialConstraint
type Output = PartialConstraint
The resulting type after applying the
|
operator.Source§fn bitor(self, r: WeightedRelation) -> PartialConstraint
fn bitor(self, r: WeightedRelation) -> PartialConstraint
Performs the
|
operation. Read moreSource§impl BitOr<WeightedRelation> for f32
impl BitOr<WeightedRelation> for f32
Source§type Output = PartialConstraint
type Output = PartialConstraint
The resulting type after applying the
|
operator.Source§fn bitor(self, r: WeightedRelation) -> PartialConstraint
fn bitor(self, r: WeightedRelation) -> PartialConstraint
Performs the
|
operation. Read moreSource§impl BitOr<WeightedRelation> for f64
impl BitOr<WeightedRelation> for f64
Source§type Output = PartialConstraint
type Output = PartialConstraint
The resulting type after applying the
|
operator.Source§fn bitor(self, r: WeightedRelation) -> PartialConstraint
fn bitor(self, r: WeightedRelation) -> PartialConstraint
Performs the
|
operation. Read moreSource§impl From<WeightedRelation> for (RelationalOperator, f64)
impl From<WeightedRelation> for (RelationalOperator, f64)
Source§fn from(r: WeightedRelation) -> (RelationalOperator, f64)
fn from(r: WeightedRelation) -> (RelationalOperator, f64)
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for WeightedRelation
impl RefUnwindSafe for WeightedRelation
impl Send for WeightedRelation
impl Sync for WeightedRelation
impl Unpin for WeightedRelation
impl UnwindSafe for WeightedRelation
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