Struct pnets_shrunk::reducers::IdentityReducer

pub struct IdentityReducer {}

Identity reducer does nothing on the network

This reduction exists only to be able to easily test reduction chains or replace required parameters in others.

Trait Implementations

impl<Net> PlaceReduce<Net> for IdentityReducer

fn place_reduce(_: &mut Net, _: PlaceId, _: &mut Vec<Modification>)

Try to apply a reduction rule on a specific place

impl<Net> Reduce<Net> for IdentityReducer

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

Compute a reduction rule on the network

impl<Net> TransitionReduce<Net> for IdentityReducer

fn transition_reduce(_: &mut Net, _: TransitionId, _: &mut Vec<Modification>)

Try to apply a reduction rule on a specific place

impl<Net> ConservativeReduce<Net> for IdentityReducer