Struct FiniteDomain 

pub struct FiniteDomain<T: Clone + PartialEq + Debug> { /* private fields */ }

A generic finite domain holding arbitrary values.

Uses Vec<T> internally. Operations are O(n) where n is the domain size. Suitable for domains with non-integer values or when bitset representation is not appropriate.

Implementations

impl<T: Clone + PartialEq + Debug> FiniteDomain<T>

pub fn new(values: Vec<T>) -> Self

Create a new finite domain from a list of values.

Trait Implementations

impl<T: Clone + Clone + PartialEq + Debug> Clone for FiniteDomain<T>

fn clone(&self) -> FiniteDomain<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Clone + PartialEq + Debug> Debug for FiniteDomain<T>

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

Formats the value using the given formatter.

impl<T: Clone + PartialEq + Debug> Domain for FiniteDomain<T>

type Value = T

The type of individual values in this domain.

fn size(&self) -> usize

Number of values currently in the domain.

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

Test membership.

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

Remove a value from the domain. Returns true if the value was present.

fn add(&mut self, val: &T)

Add a value back into the domain.

fn values(&self) -> Vec<T>

Collect all current values into a Vec.

fn iter(&self) -> impl Iterator<Item = T>

Iterate over current values without allocating.

fn is_empty(&self) -> bool

Whether the domain is empty (wipe-out).

fn is_singleton(&self) -> bool

Whether the domain contains exactly one value.

fn singleton_value(&self) -> Option<Self::Value>

If the domain is a singleton, return its sole value.

impl<T: PartialEq + Clone + PartialEq + Debug> PartialEq for FiniteDomain<T>

fn eq(&self, other: &FiniteDomain<T>) -> 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<T: Clone + PartialEq + Debug> StructuralPartialEq for FiniteDomain<T>