Diades::Petri::Vdd Class Reference

#include <Vdd.hh>

Public Member Functions
	Vdd ()
	Vdd (VddFactory *factory)
virtual	~Vdd ()
unsigned	id () const
int	tokens () const
Place	place () const
const Vdd *	eq () const
const Vdd *	sup () const
int	getCardinality () const
bool	isEmpty () const
bool	holds (Place p, int tokens) const
bool	isNull () const
bool	valid () const

Private Member Functions
	Vdd (Place p, int tokens, const Vdd *eq, const Vdd *sup, unsigned id, VddFactory *factory)

Private Attributes
Place	_place
int	_tokens
const Vdd *	_eq
const Vdd *	_sup
unsigned	_id
VddFactory *	_factory

Friends
class	VddFactory

Detailed Description

Data structure to encode marking sets of a Petri net.

This data structure is greatly inspired from Pierre Molinaro - IRCCyN and its 28 march 2003 presentation

See also

http://www.irccyn.ec-nantes.fr/irccyn/d/en/equipes/TempsReel/membres&pid=molinaro

Definition at line 44 of file Vdd.hh.

Constructor & Destructor Documentation

Vdd() [1/3]

Diades::Petri::Vdd::Vdd ( )

inline

Create an empty vdd

Definition at line 60 of file Vdd.hh.

Vdd() [2/3]

Diades::Petri::Vdd::Vdd ( VddFactory *  factory )

inline

Create an empty vdd

Definition at line 65 of file Vdd.hh.

Vdd() [3/3]

Diades::Petri::Vdd::Vdd ( Place  p, int  tokens, const Vdd *  eq, const Vdd *  sup, unsigned  id, VddFactory *  factory  )

inlineprivate

Parameters

p
tokens
eq
sup
id

Returns

Definition at line 77 of file Vdd.hh.

References require.

~Vdd()

virtual Diades::Petri::Vdd::~Vdd ( )

inlinevirtual

Destructor

Definition at line 89 of file Vdd.hh.

Member Function Documentation

eq()

const Vdd* Diades::Petri::Vdd::eq ( ) const

inline

Returns

the next cell of the Vdd that contains a place whose id is greater than place(), 0 if it does not exist.

Definition at line 113 of file Vdd.hh.

getCardinality()

int Diades::Petri::Vdd::getCardinality

(

)

const

Returns

holds()

bool Diades::Petri::Vdd::holds	(	Place	p,
		int	tokens
	)		const

Parameters

p	a Place
tokens	a set of tokens

Returns

true if for any state of the marking, (p,tokens) is true.

id()

unsigned Diades::Petri::Vdd::id ( ) const

inline

Returns

the id of the Vdd

Definition at line 95 of file Vdd.hh.

isEmpty()

bool Diades::Petri::Vdd::isEmpty

(

)

const

Returns

isNull()

bool Diades::Petri::Vdd::isNull

(

)

const

Returns

place()

Place Diades::Petri::Vdd::place ( ) const

inline

Returns

the associated place of the current Vdd cell

Definition at line 107 of file Vdd.hh.

sup()

const Vdd* Diades::Petri::Vdd::sup ( ) const

inline

Returns

the next cell of the Vdd that contains the same place but whose token are greater than tokens(), 0 if it does not exist.

Definition at line 121 of file Vdd.hh.

tokens()

int Diades::Petri::Vdd::tokens ( ) const

inline

Returns

the tokens of the Vdd

Definition at line 101 of file Vdd.hh.

valid()

bool Diades::Petri::Vdd::valid ( ) const

inline

Validity

Returns

true if the Zsl is valid

Definition at line 156 of file Vdd.hh.

Friends And Related Function Documentation

VddFactory

friend class VddFactory

friend

Definition at line 162 of file Vdd.hh.

Member Data Documentation

_eq

const Vdd* Diades::Petri::Vdd::_eq

private

Definition at line 50 of file Vdd.hh.

_factory

VddFactory* Diades::Petri::Vdd::_factory

private

Definition at line 53 of file Vdd.hh.

_id

unsigned Diades::Petri::Vdd::_id

private

Definition at line 52 of file Vdd.hh.

Referenced by Diades::Petri::VddFactory::VddFactory().

_place

Place Diades::Petri::Vdd::_place

private

Definition at line 48 of file Vdd.hh.

_sup

const Vdd* Diades::Petri::Vdd::_sup

private

Definition at line 51 of file Vdd.hh.

_tokens

int Diades::Petri::Vdd::_tokens

private

Definition at line 49 of file Vdd.hh.

---

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

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