Diades::Petri::Extension Class Reference

#include <Extension.hh>

Public Types
typedef Diades::Graph::Node	Event
	Event an Event of a BranchingProcess More...
typedef Diades::Graph::Node	Condition
	Condition a Condition of a BranchingProcess More...
typedef Diades::Graph::Node	Place
	Place a Place of a Net More...
typedef Diades::Graph::Node	Transition
	Transition a Transition of a Net More...

Public Member Functions
	Extension ()
	Extension (const Extension &extension)
	~Extension ()
void	setProcess (const BranchingProcess &process)
const BranchingProcess &	process () const
void	setProcess (BranchingProcess &process)
void	setTransition (const Transition &transition)
const Transition &	transition () const
const Conditions &	conditions () const
void	addCondition (const Condition &condition)
void	removeCondition (const Condition &condition)
bool	meets (const set< Event > &events) const
void	clear ()
bool	operator== (const Extension &extension) const

Private Types
typedef std::set< Condition >	Conditions
	Conditions a set of Conditions More...

Private Attributes
CBox< BranchingProcess >	_process
	@ _process the BranchingProcess that owns this Extension More...
Conditions	_conditions
	_conditions the conditions of the Extension More...
Transition	_transition
	_transition the Transition associated with this Extension More...

Detailed Description

An extension of the BranchingProcess

Definition at line 34 of file Extension.hh.

Member Typedef Documentation

Condition

typedef Diades::Graph::Node Diades::Petri::Extension::Condition

Condition a Condition of a BranchingProcess

Definition at line 40 of file Extension.hh.

Conditions

typedef std::set<Condition> Diades::Petri::Extension::Conditions

private

Conditions a set of Conditions

Definition at line 52 of file Extension.hh.

Event

typedef Diades::Graph::Node Diades::Petri::Extension::Event

Event an Event of a BranchingProcess

Definition at line 38 of file Extension.hh.

Place

typedef Diades::Graph::Node Diades::Petri::Extension::Place

Place a Place of a Net

Definition at line 42 of file Extension.hh.

Transition

typedef Diades::Graph::Node Diades::Petri::Extension::Transition

Transition a Transition of a Net

Definition at line 44 of file Extension.hh.

Constructor & Destructor Documentation

Extension() [1/2]

Diades::Petri::Extension::Extension

(

)

Default constructor

Extension() [2/2]

Diades::Petri::Extension::Extension

(

const Extension &

extension

)

Copy constructor

~Extension()

Diades::Petri::Extension::~Extension ( )

inline

Destructor

Definition at line 78 of file Extension.hh.

Member Function Documentation

addCondition()

void Diades::Petri::Extension::addCondition

(

const Condition &

condition

)

Add a new Condition to the current Extension

Parameters

condition

the condition to add

Referenced by conditions().

clear()

void Diades::Petri::Extension::clear

(

)

Clear the Extension

Referenced by conditions().

conditions()

const Conditions& Diades::Petri::Extension::conditions ( ) const

inline

Returns

the set of conditions of the current Extension

Definition at line 147 of file Extension.hh.

References _conditions, addCondition(), clear(), meets(), operator==(), and removeCondition().

meets()

bool Diades::Petri::Extension::meets

(

const set< Event > &

events

)

const

Parameters

events

a set of events of the underlying BranchingProcess

Returns

true if this extension can be associated to a local configuration that would contains at least a transition from the set 'transitions'

Referenced by conditions().

operator==()

bool Diades::Petri::Extension::operator==

(

const Extension &

extension

)

const

Equality operator (value equality)

Parameters

extension

the extension to compare with

Referenced by conditions().

process()

const BranchingProcess& Diades::Petri::Extension::process ( ) const

inline

Returns

the underlying BranchingProcess

Definition at line 99 of file Extension.hh.

References Diades::Utils::CBox< Object >::obj().

Referenced by setProcess().

removeCondition()

void Diades::Petri::Extension::removeCondition

(

const Condition &

condition

)

Remove a Condition of the current Extension

Parameters

condition

the condition to remove

Referenced by conditions().

setProcess() [1/2]

void Diades::Petri::Extension::setProcess ( const BranchingProcess &  process )

inline

Set the process of this Extension

Parameters

process

the new BranchingProcess associated with this Extension

Definition at line 87 of file Extension.hh.

References process().

setProcess() [2/2]

void Diades::Petri::Extension::setProcess ( BranchingProcess &  process )

inline

Set the process of this Extension

Parameters

process

the new BranchingProcess associated with this Extension

Definition at line 109 of file Extension.hh.

References process().

setTransition()

void Diades::Petri::Extension::setTransition ( const Transition &  transition )

inline

Set the transition associated to the current Extension

Parameters

Transition

Definition at line 121 of file Extension.hh.

References transition().

transition()

const Transition& Diades::Petri::Extension::transition ( ) const

inline

Returns

the transition associated to the current Extension

Definition at line 134 of file Extension.hh.

References _transition.

Referenced by setTransition().

Member Data Documentation

_conditions

Conditions Diades::Petri::Extension::_conditions

private

_conditions the conditions of the Extension

Definition at line 56 of file Extension.hh.

Referenced by conditions().

_process

CBox<BranchingProcess> Diades::Petri::Extension::_process

private

@ _process the BranchingProcess that owns this Extension

Definition at line 48 of file Extension.hh.

_transition

Transition Diades::Petri::Extension::_transition

private

_transition the Transition associated with this Extension

Definition at line 59 of file Extension.hh.

Referenced by transition().

---

The documentation for this class was generated from the following file:

• /home/yannick/laas/redmine/tools/diades/include/diades/petri/Extension.hh