Enum relp::data::linear_program::elements::BoundDirection

pub enum BoundDirection {
    Lower,
    Upper,
}

Direction of a bound.

Is used more generally in the case where the three variants of the ConstraintType don’t suit the needs.

Variants

Lower

In the case of a variable, x >= b >= 0 (currently, variables are rewritten to be nonnegative and branching might only bring that bound higher).

Upper

In the case of a variable, 0 <= x <= b.

Trait Implementations

impl Clone for BoundDirection

fn clone(&self) -> BoundDirection

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BoundDirection

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for BoundDirection

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl Mul<NonZeroSign> for BoundDirection

This is like multiplying an equation with -1.

If the sign of a coefficient is negative, you need to often flip a bound.

Example:

• 3 x >= 2 <=> x >= 2 / 3
• -3 x >= -2 <=> x <= 2 / 3

type Output = Self

The resulting type after applying the * operator.

fn mul(self, other: NonZeroSign) -> Self::Output

Performs the * operation.

impl Not for BoundDirection

type Output = Self

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq<BoundDirection> for BoundDirection

fn eq(&self, other: &BoundDirection) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Copy for BoundDirection

impl Eq for BoundDirection

impl StructuralEq for BoundDirection

impl StructuralPartialEq for BoundDirection