Trait pnets_shrunk::reducers::ConservativeReduce

pub trait ConservativeReduce<Net>: Reduce<Net> { }

All reduction which implement this trait should keep the count of markings (the set of equations should has exactly the same number of solutions than the original network)

Implementors

impl ConservativeReduce<Net> for IdentityPlaceReducer

impl ConservativeReduce<Net> for IdentityTransitionReducer

impl ConservativeReduce<Net> for ParallelPlaceReducer

impl ConservativeReduce<Net> for ParallelTransitionReducer

impl ConservativeReduce<Net> for R7Reducer

impl ConservativeReduce<Net> for SimpleChainReducer

impl ConservativeReduce<Net> for SimpleLoopAgglomeration

impl ConservativeReduce<Net> for WeightSimplification

impl<Net> ConservativeReduce<Net> for IdentityReducer

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

impl<Net, Red> ConservativeReduce<Net> for LoopReducer<Net, Red> where
    Red: ConservativeReduce<Net>, 

impl<Net, Red, PostPlace, PostTransition> ConservativeReduce<Net> for SmartReducer<Net, Red, PostPlace, PostTransition> where
    Red: ConservativeReduce<Net>,
    PostPlace: PlaceReduce<Net> + ConservativeReduce<Net>,
    PostTransition: TransitionReduce<Net> + ConservativeReduce<Net>,