Trait DisplayStateful 

pub trait DisplayStateful<State> {
    // Required method
    fn display(&self, state: &State);
}

Required Methods

fn display(&self, state: &State)

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<State, R> DisplayStateful<State> for Box<R>

where R: DisplayStateful<State>,

fn display(&self, state: &State)

Implementors

impl<Domain> DisplayStateful<Model> for Identity<Domain>

impl<Memory, Event, Domain> DisplayStateful<Model> for pcp::variable::store::Store<Memory, Event>

where Memory: MemoryConcept<Item = Domain>, Domain: Display + IsSingleton,

impl<V> DisplayStateful<Model> for Constant<V>

where V: Debug,

impl<VStore, Domain, Bound> DisplayStateful<Model> for Addition<VStore>

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

impl<VStore, Event, R, S> DisplayStateful<(Model, VStore)> for pcp::propagation::store::Store<VStore, Event, R, S>

impl<VStore, Event, R, S> DisplayStateful<Model> for pcp::propagation::store::Store<VStore, Event, R, S>

impl<VStore> DisplayStateful<Model> for AllEqual<VStore>

impl<VStore> DisplayStateful<Model> for Boolean<VStore>

impl<VStore> DisplayStateful<Model> for BooleanNeg<VStore>

impl<VStore> DisplayStateful<Model> for Conjunction<VStore>

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

impl<VStore> DisplayStateful<Model> for Distinct<VStore>

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

impl<VStore> DisplayStateful<Model> for XEqY<VStore>

impl<VStore> DisplayStateful<Model> for XEqYMulZ<VStore>

impl<VStore> DisplayStateful<Model> for XEqYPlusZ<VStore>

where VStore: Collection,

impl<VStore> DisplayStateful<Model> for XGreaterYPlusZ<VStore>

impl<VStore> DisplayStateful<Model> for XLessY<VStore>

impl<VStore> DisplayStateful<Model> for XLessYPlusZ<VStore>

impl<VStore> DisplayStateful<Model> for XNeqY<VStore>