Extension.hh File Reference

An extension of the BranchingProcess. More...

#include <set>
#include <diades/utils/Box.hh>
#include <diades/graph/Graph.hh>

Go to the source code of this file.

Classes
class	Diades::Petri::Extension

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Petri

Detailed Description

An extension of the BranchingProcess.

Author

Yannick PENCOLE yanni.nosp@m.ck.p.nosp@m.encol.nosp@m.e@la.nosp@m.as.fr

Date

Thu Oct 3 15:13:08 2013

Definition in file Extension.hh.