Struct stateright::actor::model::ActorSystem

pub struct ActorSystem<A: Actor<ModelId>> {
    pub init_network: Vec<Envelope<A::Msg>>,
    pub actors: Vec<A>,
    pub lossy_network: LossyNetwork,
}

A collection of actors on a lossy network.

Fields

init_network: Vec<Envelope<A::Msg>>

actors: Vec<A>

lossy_network: LossyNetwork

Trait Implementations

impl<A: Actor<ModelId>> StateMachine for ActorSystem<A> where     A::Msg: Clone + Ord,     A::State: Clone,

type State = ActorSystemSnapshot<A::Msg, A::State>

The type of state upon which this machine operates.

fn init(&self, results: &mut StepVec<Self::State>)

Collects the initial possible action-state pairs.

fn next(&self, state: &Self::State, results: &mut StepVec<Self::State>)

Collects the subsequent possible action-state pairs based on a previous state.

fn checker<I>(&self, keep_paths: KeepPaths, invariant: I) -> Checker<Self, I> where     Self::State: Hash,     I: Fn(&Self, &Self::State) -> bool,

Initializes a fresh checker for a state machine.