Struct VarBounds 

pub struct VarBounds {
    pub lower: Option<i64>,
    pub upper: Option<i64>,
}

Variable bounds (None = unbounded in that direction).

Represents the lower and upper bounds for an integer variable. A value of None indicates the variable is unbounded in that direction.

Fields

lower: Option<i64>

Lower bound (None = -infinity).

upper: Option<i64>

Upper bound (None = +infinity).

Implementations

impl VarBounds

pub fn binary() -> Self

Create bounds for a binary variable: 0 <= x <= 1.

pub fn non_negative() -> Self

Create bounds for a non-negative variable: x >= 0.

pub fn unbounded() -> Self

Create unbounded variable: -infinity < x < +infinity.

pub fn bounded(lo: i64, hi: i64) -> Self

Create bounds with explicit lower and upper: lo <= x <= hi.

pub fn contains(&self, value: i64) -> bool

Check if a value satisfies these bounds.

pub fn num_values(&self) -> Option<usize>

Get the number of integer values in this bound range. Returns None if unbounded in either direction.

Trait Implementations

impl Clone for VarBounds

fn clone(&self) -> VarBounds

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VarBounds

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

Formats the value using the given formatter.

impl Default for VarBounds

fn default() -> VarBounds

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VarBounds

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VarBounds

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VarBounds

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for VarBounds

impl Eq for VarBounds

impl StructuralPartialEq for VarBounds