Trait biodivine_lib_param_bn::biodivine_std::traits::EvolutionOperator

pub trait EvolutionOperator {
    type State: State;
    type Params: Set;
    type Iterator: Iterator<Item = (Self::State, Self::Params)>;
    fn step(&self, current: Self::State) -> Self::Iterator;
}

A parametrised variant of an EvolutionOperator. For each state, a Params set is returned as well which gives the set of parameter valuations for which the transition is allowed.

Associated Types

type State: State

type Params: Set

type Iterator: Iterator<Item = (Self::State, Self::Params)>

Required methods

fn step(&self, current: Self::State) -> Self::Iterator

Implementors

impl<'a, Params: AsyncGraphEdgeParams> EvolutionOperator for Bwd<'a, Params>

type State = IdState

type Params = Params::ParamSet

type Iterator = BwdIterator<'a, Params>

impl<'a, Params: AsyncGraphEdgeParams> EvolutionOperator for Fwd<'a, Params>

type State = IdState

type Params = Params::ParamSet

type Iterator = FwdIterator<'a, Params>