Trait StoreMonotonicUpdate 

pub trait StoreMonotonicUpdate<Store: Collection> {
    // Required method
    fn update(&mut self, store: &mut Store, value: Store::Item) -> bool;
}

Required Methods

fn update(&mut self, store: &mut Store, value: Store::Item) -> bool

Implementations on Foreign Types

impl<Store, R> StoreMonotonicUpdate<Store> for Box<R>

where R: StoreMonotonicUpdate<Store>, Store: Collection,

fn update(&mut self, store: &mut Store, value: Store::Item) -> bool

Implementors

impl<V, Domain, VStore> StoreMonotonicUpdate<VStore> for Constant<V>

where VStore: Collection<Item = Domain>, Domain: Collection<Item = V> + Cardinality + Contains,

impl<VStore> StoreMonotonicUpdate<VStore> for Boolean<VStore>

where VStore: VStoreConcept,

impl<VStore, Domain> StoreMonotonicUpdate<VStore> for Identity<Domain>

where VStore: VStoreConcept<Item = Domain>,

impl<VStore, Domain, Bound> StoreMonotonicUpdate<VStore> for Addition<VStore>

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

impl<VStore, Domain, Bound> StoreMonotonicUpdate<VStore> for Sum<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: IntDomain<Item = Bound>, Bound: IntBound,