Struct pcp::term::addition::Addition

pub struct Addition<VStore>where
    VStore: VStoreConcept,
    VStore::Item: Collection,{ /* private fields */ }

Implementations

impl<VStore, Domain, Bound> Addition<VStore>where
    VStore: VStoreConcept<Item = Domain>,
    Domain: Collection<Item = Bound>,

pub fn new(x: Var<VStore>, v: Bound) -> Self

Examples found in repository

src/libpcp/term/addition.rs (line 63)

  fn clone(&self) -> Self {
    Addition::new(self.x.bclone(), self.v.clone())
  }

src/libpcp/propagators/cmp/mod.rs (line 49)

pub fn x_geq_y<VStore, Domain, Bound>(x: Var<VStore>, y: Var<VStore>) -> XGreaterEqY<VStore> where
  VStore: VStoreConcept<Item=Domain> + 'static,
  Domain: Collection<Item=Bound> + IntDomain,
  Bound: IntBound
{
  x_greater_y(Box::new(Addition::new(x, Bound::one())), y)
}

pub fn x_leq_y<VStore, Domain, Bound>(x: Var<VStore>, y: Var<VStore>) -> XLessEqY<VStore> where
  VStore: VStoreConcept<Item=Domain> + 'static,
  Domain: Collection<Item=Bound> + IntDomain,
  Bound: IntBound
{
  XLessY::new(x, Box::new(Addition::new(y, Bound::one())))
}

pub fn x_geq_y_plus_z<VStore, Domain, Bound>(x: Var<VStore>, y: Var<VStore>, z: Var<VStore>)
  -> XGreaterEqYPlusZ<VStore> where
 VStore: VStoreConcept<Item=Domain> + 'static,
 Domain: Collection<Item=Bound> + IntDomain,
 Bound: IntBound
{
  XGreaterYPlusZ::new(Box::new(Addition::new(x, Bound::one())), y, z)
}

pub fn x_leq_y_plus_z<VStore, Domain, Bound>(x: Var<VStore>, y: Var<VStore>, z: Var<VStore>)
  -> XLessEqYPlusZ<VStore> where
 VStore: VStoreConcept<Item=Domain> + 'static,
 Domain: Collection<Item=Bound> + IntDomain,
 Bound: IntBound
{
  XLessYPlusZ::new(Box::new(Addition::new(x, -Bound::one())), y, z)
}

Trait Implementations

impl<VStore, Domain, Bound> Clone for Addition<VStore>where
    VStore: VStoreConcept<Item = Domain>,
    Domain: Collection<Item = Bound>,
    Bound: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<VStore, Domain, Bound> Debug for Addition<VStore>where
    VStore: VStoreConcept<Item = Domain>,
    Domain: Collection<Item = Bound>,
    Bound: Debug,

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

Formats the value using the given formatter.

impl<VStore, Domain, Bound> DisplayStateful<Model> for Addition<VStore>where
    VStore: VStoreConcept<Item = Domain>,
    Domain: Collection<Item = Bound>,
    Bound: Debug,

fn display(&self, model: &Model)

impl<VStore, Domain, Bound> StoreMonotonicUpdate<VStore> for Addition<VStore>where
    VStore: VStoreConcept<Item = Domain>,
    Domain: Collection<Item = Bound> + Sub<Bound, Output = Domain>,
    Bound: Clone,

fn update(&mut self, store: &mut VStore, value: Domain) -> bool

impl<VStore, Domain, Bound> StoreRead<VStore> for Addition<VStore>where
    VStore: VStoreConcept<Item = Domain>,
    Domain: Collection<Item = Bound> + Add<Bound, Output = Domain>,
    Bound: Clone,

fn read(&self, store: &VStore) -> VStore::Item

impl<VStore> ViewDependencies<FDEvent> for Addition<VStore>where
    VStore: VStoreConcept,
    VStore::Item: Collection,

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