Trait pnets_shrunk::reducers::ConservativeReduce [−][src]
pub trait ConservativeReduce<Net>: Reduce<Net> { }
Expand description
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)