Struct Bound 

pub struct Bound {
    pub var: VarId,
    pub bound_type: BoundType,
    pub value: BigRational,
}

A bound on a variable.

Fields

var: VarId

The variable this bound applies to.

bound_type: BoundType

The type of bound (lower, upper, or equality).

value: BigRational

The bound value.

Implementations

impl Bound

pub fn lower(var: VarId, value: BigRational) -> Self

Create a lower bound: var >= value.

pub fn upper(var: VarId, value: BigRational) -> Self

Create an upper bound: var <= value.

pub fn equal(var: VarId, value: BigRational) -> Self

Create an equality bound: var = value.

Trait Implementations

impl Clone for Bound

fn clone(&self) -> Bound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Bound

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

Formats the value using the given formatter.

impl PartialEq for Bound

fn eq(&self, other: &Bound) -> 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 Eq for Bound

impl StructuralPartialEq for Bound