Diades::Petri::MarkingTable Class Reference

#include <MarkingTable.hh>

Public Member Functions
	MarkingTable ()
const Marking &	assign (const Marking &marking, const Graph::Node &node)
const Graph::Node &	get (const Marking &marking) const
unordered_map< Marking, Graph::Node >::const_iterator	begin () const
unordered_map< Marking, Graph::Node >::const_iterator	end () const

Private Attributes
unordered_map< Marking, Graph::Node >	_table
Graph::Node	_null

Detailed Description

Definition at line 13 of file MarkingTable.hh.

Constructor & Destructor Documentation

MarkingTable()

Diades::Petri::MarkingTable::MarkingTable ( )

inline

Definition at line 20 of file MarkingTable.hh.

Member Function Documentation

assign()

const Marking& Diades::Petri::MarkingTable::assign ( const Marking &  marking, const Graph::Node &  node  )

inline

Definition at line 25 of file MarkingTable.hh.

begin()

unordered_map<Marking,Graph::Node>::const_iterator Diades::Petri::MarkingTable::begin ( ) const

inline

Definition at line 41 of file MarkingTable.hh.

end()

unordered_map<Marking,Graph::Node>::const_iterator Diades::Petri::MarkingTable::end ( ) const

inline

Definition at line 45 of file MarkingTable.hh.

get()

const Graph::Node& Diades::Petri::MarkingTable::get ( const Marking &  marking ) const

inline

Definition at line 31 of file MarkingTable.hh.

References _null.

Member Data Documentation

_null

Graph::Node Diades::Petri::MarkingTable::_null

private

Definition at line 17 of file MarkingTable.hh.

Referenced by get().

_table

unordered_map<Marking,Graph::Node> Diades::Petri::MarkingTable::_table

private

Definition at line 16 of file MarkingTable.hh.

---

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

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