1 #ifndef __DIADES__PETRI__EXTENSION_HH_ 2 #define __DIADES__PETRI__EXTENSION_HH_ 25 class BranchingProcess;
101 return _process.
obj();
181 bool meets(
const set<Event> & events)
const;
Conditions _conditions
_conditions the conditions of the Extension
bool meets(const set< Event > &events) const
Transition _transition
_transition the Transition associated with this Extension
CBox< BranchingProcess > _process
@ _process the BranchingProcess that owns this Extension
const Object & obj() const
Diades::Graph::Node Condition
Condition a Condition of a BranchingProcess
Diades::Graph::Node Event
Event an Event of a BranchingProcess
void addCondition(const Condition &condition)
std::set< Condition > Conditions
Conditions a set of Conditions
const Conditions & conditions() const
void setProcess(const BranchingProcess &process)
Diades::Graph::Node Transition
Transition a Transition of a Net
Namespace of the Diades project.
bool operator==(const Extension &extension) const
Definition of the Box Utils.
A CBox is a container that contains at most a constant reference to an object.
This class implements a branching process of a Net (see Esparza 2002).
void setProcess(BranchingProcess &process)
const Transition & transition() const
void removeCondition(const Condition &condition)
Diades::Graph::Node Place
Place a Place of a Net
const BranchingProcess & process() const
void setTransition(const Transition &transition)