Struct ChainReducer

pub struct ChainReducer<Net, First, Second>(/* private fields */)
where
    First: Reduce<Net>,
    Second: Reduce<Net>;

Apply the first reduction and then the second reduction

This struct also implement PlaceReduce and TransitionReduce to allows chaining reductions on a specific place or transition

Trait Implementations

impl<Net: Default, First, Second> Default for ChainReducer<Net, First, Second>

where First: Reduce<Net> + Default, Second: Reduce<Net> + Default,

fn default() -> ChainReducer<Net, First, Second>

Returns the “default value” for a type.

impl<Net, First, Second> PlaceReduce<Net> for ChainReducer<Net, First, Second>

where First: PlaceReduce<Net>, Second: PlaceReduce<Net>,

fn place_reduce( net: &mut Net, pl: PlaceId, modifications: &mut Vec<Modification>, )

Try to apply a reduction rule on a specific place

impl<Net, First, Second> Reduce<Net> for ChainReducer<Net, First, Second>

where First: Reduce<Net>, Second: Reduce<Net>,

fn reduce(net: &mut Net, modifications: &mut Vec<Modification>)

Compute a reduction rule on the network

impl<Net, First, Second> TransitionReduce<Net> for ChainReducer<Net, First, Second>

where First: TransitionReduce<Net>, Second: TransitionReduce<Net>,

fn transition_reduce( net: &mut Net, tr: TransitionId, modifications: &mut Vec<Modification>, )

Try to apply a reduction rule on a specific place

impl<Net, First, Second> ConservativeReduce<Net> for ChainReducer<Net, First, Second>

where First: ConservativeReduce<Net>, Second: ConservativeReduce<Net>,