Struct pcp::propagators::cmp::x_eq_y_plus_z::XEqYPlusZ

pub struct XEqYPlusZ<VStore: Collection> { /* private fields */ }

Implementations

impl<VStore, Domain, Bound> XEqYPlusZ<VStore>where
    VStore: VStoreConcept<Item = Domain> + 'static,
    Domain: Collection<Item = Bound> + IntDomain,
    Bound: IntBound,

pub fn new(x: Var<VStore>, y: Var<VStore>, z: Var<VStore>) -> Self

Trait Implementations

impl<VStore: Clone + Collection> Clone for XEqYPlusZ<VStore>

fn clone(&self) -> XEqYPlusZ<VStore>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<VStore: Debug + Collection> Debug for XEqYPlusZ<VStore>

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

Formats the value using the given formatter.

impl<VStore> DisplayStateful<Model> for XEqYPlusZ<VStore>where
    VStore: Collection,

fn display(&self, model: &Model)

impl<VStore> NotFormula<VStore> for XEqYPlusZ<VStore>where
    VStore: Collection,

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

impl<VStore> Propagator<VStore> for XEqYPlusZ<VStore>where
    VStore: Collection,
    XGreaterEqYPlusZ<VStore>: Propagator<VStore>,
    XLessEqYPlusZ<VStore>: Propagator<VStore>,

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

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

impl<VStore> PropagatorDependencies<FDEvent> for XEqYPlusZ<VStore>where
    VStore: Collection,
    XGreaterEqYPlusZ<VStore>: PropagatorDependencies<FDEvent>,
    XLessEqYPlusZ<VStore>: PropagatorDependencies<FDEvent>,

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 XEqYPlusZ<VStore>where
    VStore: Collection,
    XGreaterEqYPlusZ<VStore>: Subsumption<VStore>,
    XLessEqYPlusZ<VStore>: Subsumption<VStore>,

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