Struct Union 

pub struct Union { /* private fields */ }

Calculates the union between multiple variable domains.

Can be used incrementally through Union::add. Using Union::reset the union is reset to an empty state.

Implementations

impl Union

pub fn empty() -> Self

Create an empty union.

pub fn lower_bound(&self) -> IntExt

Get the lower bound of the union of all added domains.

If the union is empty, this is IntExt::PositiveInf.

pub fn upper_bound(&self) -> IntExt

Get the upper bound of the union of all added domains.

If the union is empty, this is IntExt::NegativeInf.

pub fn holes(&self) -> impl Iterator<Item = i32> + '_

Get the holes in the union of all added domains.

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

Test whether value is in the union.

pub fn size(&self) -> Option<usize>

If the domain is finite, returns the number of elements.

pub fn reset(&mut self)

Rest the union to an empty state.

pub fn add<Atomic: AtomicConstraint>( &mut self, state: &VariableState<Atomic>, variable: &impl CheckerVariable<Atomic>, )

Add a variable to the union.

pub fn is_consistent(&self) -> bool

Returns true if the union contains no elements.

Trait Implementations

impl Clone for Union

fn clone(&self) -> Union

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Union

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

Formats the value using the given formatter.