Struct Domain 

pub struct Domain { /* private fields */ }

A domain inside the variable state.

Implementations

impl Domain

pub fn all_integers() -> Domain

Create a domain that contains all integers.

pub fn empty() -> Domain

Create an empty/inconsistent domain.

pub fn new( lower_bound: IntExt, upper_bound: IntExt, holes: BTreeSet<i32>, ) -> Self

Construct a new domain.

pub fn holes(&self) -> &BTreeSet<i32>

Get the holes in the domain.

pub fn lower_bound(&self) -> IntExt

Get the lower bound of the domain.

pub fn upper_bound(&self) -> IntExt

Get the upper bound of the domain.

pub fn is_consistent(&self) -> bool

Returns true if the domain contains at least one value.

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.