Struct Sum 

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

Implementations

impl<VStore> Sum<VStore>

pub fn new(vars: Vec<Var<VStore>>) -> Self

Trait Implementations

impl<VStore> Clone for Sum<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> Debug for Sum<VStore>

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

Formats the value using the given formatter.

impl<VStore> DisplayStateful<Model> for Sum<VStore>

fn display(&self, model: &Model)

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

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

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

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

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

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

impl<VStore> ViewDependencies<FDEvent> for Sum<VStore>

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