#include <Marking.hh>
Definition at line 19 of file Marking.hh.
◆ Marking() [1/3]
Diades::Petri::Marking::Marking |
( |
| ) |
|
|
inline |
◆ Marking() [2/3]
Diades::Petri::Marking::Marking |
( |
const Marking & |
marking | ) |
|
|
inline |
◆ Marking() [3/3]
Diades::Petri::Marking::Marking |
( |
Marking && |
marking | ) |
|
|
inline |
◆ begin()
std::unordered_map<Place, unsigned>::const_iterator Diades::Petri::Marking::begin |
( |
| ) |
const |
|
inline |
◆ clear()
void Diades::Petri::Marking::clear |
( |
| ) |
|
|
inline |
◆ computeHashSequence()
void Diades::Petri::Marking::computeHashSequence |
( |
| ) |
const |
|
inline |
◆ decreaseMark()
bool Diades::Petri::Marking::decreaseMark |
( |
Place |
p | ) |
|
|
inline |
◆ empty()
bool Diades::Petri::Marking::empty |
( |
| ) |
const |
|
inline |
◆ end()
std::unordered_map<Place, unsigned>::const_iterator Diades::Petri::Marking::end |
( |
| ) |
const |
|
inline |
◆ getHashSequence()
const string& Diades::Petri::Marking::getHashSequence |
( |
| ) |
const |
|
inline |
◆ getMark()
unsigned Diades::Petri::Marking::getMark |
( |
Place |
p | ) |
const |
|
inline |
◆ hits()
bool Diades::Petri::Marking::hits |
( |
const Marking & |
marking | ) |
const |
|
inline |
◆ hitsNoneOf()
bool Diades::Petri::Marking::hitsNoneOf |
( |
const vector< Marking > & |
markings | ) |
|
|
inline |
◆ increaseMark()
void Diades::Petri::Marking::increaseMark |
( |
Place |
p | ) |
|
|
inline |
◆ mark()
void Diades::Petri::Marking::mark |
( |
Place |
p, |
|
|
unsigned |
tokens |
|
) |
| |
|
inline |
◆ operator=()
◆ operator==()
bool Diades::Petri::Marking::operator== |
( |
const Marking & |
marking | ) |
const |
|
inline |
◆ unmark()
void Diades::Petri::Marking::unmark |
( |
Place |
p | ) |
|
|
inline |
◆ _hasHash
bool Diades::Petri::Marking::_hasHash |
|
mutableprivate |
◆ _hashSequence
std::string Diades::Petri::Marking::_hashSequence |
|
mutableprivate |
◆ _marking
std::unordered_map<Place, unsigned> Diades::Petri::Marking::_marking |
|
private |
The documentation for this class was generated from the following file:
- /home/yannick/laas/redmine/tools/diades/include/diades/petri/Marking.hh