Enum Domain 

pub enum Domain {
    Range {
        min: Bound,
        max: Bound,
    },
    Union(Arc<Vec<Domain>>),
    Enumeration(Arc<Vec<LiteralValue>>),
    Complement(Box<Domain>),
    Unconstrained,
    Empty,
}

Domain specification for valid values

Variants

Range

A single continuous range

Fields

min: Bound

max: Bound

Union(Arc<Vec<Domain>>)

Multiple disjoint ranges

Enumeration(Arc<Vec<LiteralValue>>)

Specific enumerated values only

Complement(Box<Domain>)

Everything except these constraints

Unconstrained

Any value (no constraints)

Empty

Empty domain (no valid values) - represents unsatisfiable constraints

Implementations

impl Domain

pub fn is_satisfiable(&self) -> bool

Check if this domain is satisfiable (has at least one valid value)

Returns false for Empty domains and empty Enumerations.

pub fn is_empty(&self) -> bool

Check if this domain is empty (unsatisfiable)

pub fn intersect(&self, other: &Domain) -> Domain

Intersect this domain with another, returning Empty if no overlap

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

Check if a value is contained in this domain

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.

impl Display for Domain

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

Formats the value using the given formatter.

impl PartialEq for Domain

fn eq(&self, other: &Domain) -> 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 Serialize for Domain

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Domain