Module modifications

All modifications supported by this crate

In this module you can found all modifications that are supported by this crate, you can found detailed explanation in structures documentation.

Structs

• Agglomeration
  This modification correspond to an agglomeration of serval place in a unique new place.
• InequalityReduction
  Inequality reduction
• Reduction
  Deletion of several places because they are redundant with an other group of places.
• TransitionElimination
  Elimination of transitions

Enums

• Modification
  All reductions supported by this library