Enum VarDomain 

#[non_exhaustive]
pub enum VarDomain {
    Bound(i32, i32),
    Discrete(i32, i32),
    SparseBound(Vec<i32>),
    Bool,
}

Representation of variable domains.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Bound(i32, i32)

A bound variable with domain [lower, upper]. O(1) memory. The solver only tracks bound changes during search.

Discrete(i32, i32)

A discrete variable with domain [lower, upper]. O(domain size) memory. Supports arbitrary subset removal. Prefer for domains up to ~1000 values.

SparseBound(Vec<i32>)

Sparse bound variable with an explicit non-contiguous set of domain values. Unlike Bound/Discrete which take [lower, upper] ranges, this carries the full domain, e.g. SparseBound(vec![-5, -2, 0, 3, 7]).

Bool

A Boolean variable with domain {0, 1}.

Trait Implementations

impl Clone for VarDomain

fn clone(&self) -> VarDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VarDomain

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

Formats the value using the given formatter.

impl Eq for VarDomain

impl PartialEq for VarDomain

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VarDomain

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes

Size for each variant:

• Bound: 16 bytes
• Discrete: 16 bytes
• SparseBound: 24 bytes
• Bool: 0 bytes