Iterator on the PetriNet.
More...
#include <PetriNet.hh>
Iterator on the PetriNet.
Subclass of the PetriNet class that defines iterators over the Place in the preconditions and postconditions of a Transition items of a PetriNet.
Definition at line 89 of file PetriNet.hh.
| Diades::Petri::PetriNet::Iterator::Iterator |
( |
list< Arc >::const_iterator |
it, |
|
|
bool |
pre |
|
) |
| |
|
inline |
Parameterized constructor
- Parameters
-
| it | iterator on a list of arcs |
| pre | boolean value that states whether the constructed iterator will iterate on the places in the preconditions of a Transition (pre is true) or on the places in the postconditions (pre is false). |
- Returns
- the constructed iterator
- Precondition
- 'it' refers an Arc, if 'pre' is true then 'it->source()' must be a Place if 'pre' is false, 'it->target()' must be a Place
- Postcondition
- operator-> and operator* returns the Place associated with the Arc refered by 'it'.
Definition at line 106 of file PetriNet.hh.
| bool Diades::Petri::PetriNet::Iterator::operator!= |
( |
const Iterator & |
it | ) |
const |
|
inline |
- Parameters
-
- Returns
- true if 'it' is different from the current iterator
Definition at line 176 of file PetriNet.hh.
| Place Diades::Petri::PetriNet::Iterator::operator* |
( |
| ) |
const |
|
inline |
- Returns
- the Place pointed by the iterator. It represents either a Place in a postcondition of a Transition or a Place in a precondition of the Transition
Definition at line 115 of file PetriNet.hh.
| Iterator& Diades::Petri::PetriNet::Iterator::operator++ |
( |
| ) |
|
|
inline |
- Returns
- an iterator on the next Arc
Definition at line 128 of file PetriNet.hh.
| Iterator Diades::Petri::PetriNet::Iterator::operator++ |
( |
int |
| ) |
|
|
inline |
- Returns
- an iterator on the next Arc
Definition at line 138 of file PetriNet.hh.
| Place Diades::Petri::PetriNet::Iterator::operator-> |
( |
void |
| ) |
const |
|
inline |
- Returns
- the Place pointed by the iterator. It represents either a Place in a postcondition of a Transition or a Place in a precondition of the Transition
Definition at line 151 of file PetriNet.hh.
| bool Diades::Petri::PetriNet::Iterator::operator== |
( |
const Iterator & |
it | ) |
const |
|
inline |
- Parameters
-
- Returns
- true if 'it' is equal to the current iterator
Definition at line 165 of file PetriNet.hh.
References _it, and _pre.
| list<Arc>::const_iterator Diades::Petri::PetriNet::Iterator::_it |
|
private |
| bool Diades::Petri::PetriNet::Iterator::_pre |
|
private |
The documentation for this class was generated from the following file:
- /home/yannick/compilation/stable/include/petri/PetriNet.hh
