Struct Disjunction 

pub struct Disjunction<VStore> { /* private fields */ }

Implementations

impl<VStore> Disjunction<VStore>

pub fn new(fs: Vec<Formula<VStore>>) -> Self

Trait Implementations

impl<VStore> Clone for Disjunction<VStore>

where VStore: Collection,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<VStore> Debug for Disjunction<VStore>

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

Formats the value using the given formatter.

impl<VStore> DisplayStateful<Model> for Disjunction<VStore>

fn display(&self, model: &Model)

impl<VStore> NotFormula<VStore> for Disjunction<VStore>

where VStore: Collection + 'static,

fn not(&self) -> Formula<VStore>

Apply De Morgan’s laws.

impl<VStore> Propagator<VStore> for Disjunction<VStore>

fn propagate(&mut self, vstore: &mut VStore) -> bool

Returns false if it failed to propagate (a variable has an empty domain after propagation).

impl<VStore> PropagatorDependencies<FDEvent> for Disjunction<VStore>

fn dependencies(&self) -> Vec<(usize, FDEvent)>

Each event on a variable that can change the result of the is_subsumed method should be listed here.

impl<VStore> Subsumption<VStore> for Disjunction<VStore>

fn is_subsumed(&self, vstore: &VStore) -> SKleene