1 #ifndef __DIADES__PETRI__CONFIGURATION_HH_ 2 #define __DIADES__PETRI__CONFIGURATION_HH_ 45 const set<Event> & max):_process(process),_max(max){}
54 bool meets(
const set<Event> & events)
const;
const set< Event > & _max
Configuration(const BranchingProcess &process, const set< Event > &max)
const BranchingProcess & _process
Namespace of the Diades project.
bool meets(const set< Event > &events) const
This class implements a branching process of a Net (see Esparza 2002).
BranchingProcess::Event Event
Event an Event of the Configuration is an Event of the underlying BranchingProcess ...
A Configuration caracterises a configuration of a BranchingProcess.