Enum Domain 

pub enum Domain {
    Range {
        min: i64,
        max: i64,
    },
    Explicit(BTreeSet<i64>),
}

Representation of possible integer values for a decision variable.

Variants

Range

Range-bounded domain [min, max]. Space complexity: O(1).

Fields

min: i64

max: i64

Explicit(BTreeSet<i64>)

Explicit set of discrete values stored as a sorted BTreeSet or Sparse Set representation. Space complexity: O(D) where D is domain size.

Implementations

impl Domain

pub fn range(min: i64, max: i64) -> Self

Creates a range domain [min, max].

Complexity

Time & Space: O(1).

pub fn from_values<I: IntoIterator<Item = i64>>(values: I) -> Self

Creates an explicit domain from an iterator of integer values.

Complexity

Time: O(N log N) where N is number of elements. Space: O(N).

pub fn is_empty(&self) -> bool

Checks whether the domain is empty.

Complexity

Time: O(1).

pub fn len(&self) -> usize

Returns the number of values in the domain.

Complexity

Time: O(1) for Range, O(1) for Explicit.

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

Checks if a value is contained in the domain.

Complexity

Time: O(1) for Range, O(log N) for Explicit.

pub fn min(&self) -> Option<i64>

Returns the minimum value in the domain, or None if empty.

Complexity

Time: O(1) for Range, O(log N) for Explicit.

pub fn max(&self) -> Option<i64>

Returns the maximum value in the domain, or None if empty.

Complexity

Time: O(1) for Range, O(log N) for Explicit.

pub fn remove(&mut self, val: i64) -> bool

Removes a value from the domain. Returns true if the domain was modified.

Complexity

Time: O(1) / O(N) depending on representation conversion.

pub fn remove_below(&mut self, min_val: i64) -> bool

Prunes values below min_val. Returns true if modified.

Complexity

Time: O(1) for Range, O(K log N) for Explicit where K is number of removed elements.

pub fn remove_above(&mut self, max_val: i64) -> bool

Prunes values above max_val. Returns true if modified.

Complexity

Time: O(1) for Range, O(K log N) for Explicit where K is number of removed elements.

pub fn assign(&mut self, val: i64) -> bool

Restricts the domain to a single value. Returns true if modified.

Complexity

Time: O(1) for Range, O(N) for Explicit.

pub fn values(&self) -> Vec<i64>

Returns all values in the domain as a vector.

Complexity

Time: O(N) where N = domain size. Space: O(N).

Trait Implementations

impl Clone for Domain

fn clone(&self) -> Domain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Domain

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

Formats the value using the given formatter.

impl Eq for Domain

impl PartialEq for Domain

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Domain