A Configuration caracterises a configuration of a BranchingProcess. More...

#include <Configuration.hh>

Public Types
typedef BranchingProcess::Event	Event
	`Event` an Event of the Configuration is an Event of the underlying BranchingProcess More...

Public Member Functions
	Configuration (const BranchingProcess &process, const set< Event > &max)

bool	meets (const set< Event > &events) const

Private Attributes
const BranchingProcess &	_process

const set< Event > &	_max

Detailed Description

A Configuration caracterises a configuration of a BranchingProcess.

Definition at line 27 of file Configuration.hh.

Member Typedef Documentation

◆ Event

typedef BranchingProcess::Event Diades::Petri::Configuration::Event

Event an Event of the Configuration is an Event of the underlying BranchingProcess

Definition at line 32 of file Configuration.hh.

Constructor & Destructor Documentation

◆ Configuration()

Diades::Petri::Configuration::Configuration	(	const BranchingProcess &	process,
		const set< Event > &	max
	)

inline

Definition at line 44 of file Configuration.hh.

References meets().

Member Function Documentation

◆ meets()

bool Diades::Petri::Configuration::meets ( const set< Event > & events ) const

Parameters

events a set of events

Returns: true if the current Configuration intersects the given set of 'events'

Referenced by Configuration().

Member Data Documentation

◆ _max

const set<Event>& Diades::Petri::Configuration::_max

private

Definition at line 39 of file Configuration.hh.

◆ _process

const BranchingProcess& Diades::Petri::Configuration::_process

private

Definition at line 38 of file Configuration.hh.

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

/home/yannick/laas/redmine/tools/diades/include/diades/petri/Configuration.hh

Public Types

Public Member Functions

Private Attributes