Struct SetDomainSnapshot 

pub struct SetDomainSnapshot {
    pub glb: Vec<i32>,
    pub lub: Vec<i32>,
    pub card_min: usize,
    pub card_max: usize,
}

Snapshot of a set variable domain for propagation reads.

Fields

glb: Vec<i32>

Greatest lower bound elements.

lub: Vec<i32>

Least upper bound elements.

card_min: usize

Minimum cardinality.

card_max: usize

Maximum cardinality.

Implementations

impl SetDomainSnapshot

pub fn is_empty(&self) -> bool

pub fn undecided(&self) -> Vec<i32>

Trait Implementations

impl Clone for SetDomainSnapshot

fn clone(&self) -> SetDomainSnapshot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SetDomainSnapshot

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

Formats the value using the given formatter.

impl Eq for SetDomainSnapshot

impl PartialEq for SetDomainSnapshot

fn eq(&self, other: &SetDomainSnapshot) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SetDomainSnapshot