DiaDes  0.1
DIAgnosis of Discrete-Event System
Classes | Namespaces
Extensions.hh File Reference

Extensions data structure. More...

#include <set>
#include "PartialOrder.hh"
#include "Extension.hh"

Go to the source code of this file.

Classes

class  Diades::Petri::AdequateOrder
 
class  Diades::Petri::ExtensionEquality
 
class  Diades::Petri::Extensions
 list of Extension objects More...
 

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Petri
 

Detailed Description

Extensions data structure.

Author
Yannick PENCOLE yanni.nosp@m.ck.p.nosp@m.encol.nosp@m.e@la.nosp@m.as.fr
Date
Thu Oct 3 15:01:37 2013

Definition in file Extensions.hh.