Struct SetComplement 

pub struct SetComplement {
    pub set: SetVarId,
    pub result: SetVarId,
    pub universe: Option<FxHashSet<u32>>,
}

Set complement implementation

Fields

set: SetVarId

Set to complement

result: SetVarId

Result variable

universe: Option<FxHashSet<u32>>

Universe (if known)

Implementations

impl SetComplement

pub fn new( set: SetVarId, result: SetVarId, universe: Option<FxHashSet<u32>>, ) -> Self

Create a new complement operation

pub fn propagate( &self, set_members: &FxHashSet<u32>, set_non_members: &FxHashSet<u32>, ) -> (FxHashSet<u32>, FxHashSet<u32>)

Propagate complement constraints

For result = ¬set:

• x ∈ result ⟺ x ∉ set
• x ∉ result ⟺ x ∈ set

pub fn propagate_backward( &self, result_members: &FxHashSet<u32>, result_non_members: &FxHashSet<u32>, ) -> (FxHashSet<u32>, FxHashSet<u32>)

Backward propagation from result to set

pub fn cardinality_bounds( &self, set_card: (i64, Option<i64>), universe_card: Option<i64>, ) -> (i64, Option<i64>)

Compute cardinality bounds for complement

If universe size is known: |result| = |universe| - |set|

Trait Implementations

impl Clone for SetComplement

fn clone(&self) -> SetComplement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SetComplement

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

Formats the value using the given formatter.