1 #ifndef __DIADES__PETRI__EXTENSIONS_HH_ 2 #define __DIADES__PETRI__EXTENSIONS_HH_ 73 void selectMinimalExtension(
Extension & extension);
82 void removeExtension(
Extension & extension);
90 void addExtension(
const Extension & extension);
list of Extension objects
PartialOrder< Extension, AdequateOrder, ExtensionEquality > _order
An extension of the BranchingProcess.
Namespace of the Diades project.