Enum IntDom 

pub enum IntDom<N> {
    BTree(BTreeDom<N>),
    Minimal(MinimalDom<N>),
    Range(RangeDom<N>),
}

An enum representing all the builtin integer domains.

Variants

BTree(BTreeDom<N>)

Minimal(MinimalDom<N>)

Range(RangeDom<N>)

Implementations

impl<N: Int> IntDom<N>

pub fn btree_from_bounds(min: N, max: N) -> Self

pub fn range_from_bounds(min: N, max: N) -> Self

Trait Implementations

impl<N: Clone> Clone for IntDom<N>

fn clone(&self) -> IntDom<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N: Int> IntDomain for IntDom<N>

type Value = N

The type of integer the domain holds.

fn from_bounds(min: N, max: N) -> Self

Creates a new domain equivalent to the inclusive range min..=max.

fn iter<'a>(&'a self) -> Box<dyn Iterator<Item = N> + 'a>

Returns an iterator over all the values in the domain.

fn remove(&mut self, value: N)

Applies the decision x != value.

fn empty() -> Self

Creates an empty domain.

fn assigned(value: N) -> Self

Creates a domain assigned to the given value.

fn size(&self) -> usize

Returns the number of values in the domain.

fn is_empty(&self) -> bool

Checks if the domain is empty.

fn is_assigned(&self) -> bool

Checks if the domain is assigned.

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

Checks if the domain contains a given value.

fn value(&self) -> Option<N>

Returns the value of the domain if the domain is assigned, or None otherwise.

fn min(&self) -> Option<N>

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

fn max(&self) -> Option<N>

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

fn assign(&mut self, value: N)

Assigns the domain to a given value.

fn adjust_min(&mut self, new_min: N)

Sets the new minimum value for the domain.

fn adjust_max(&mut self, new_max: N)

Sets the new maximum value for the domain.