Iterators over the places or the transitions of the PetriNet.
More...
#include <PetriNet.hh>
Iterators over the places or the transitions of the PetriNet.
Subclass that defines iterators over the Places or the Transitions of the PetriNet. This is a filtered Diades::Graph::NodeIterator on the PetriNet
Definition at line 192 of file PetriNet.hh.
Parameterized constructor
- Parameters
-
- Returns
- an iterator of type 'type' pointing on the underlying Node *it
bool Diades::Petri::PetriNet::PerTypeIterator::operator!= |
( |
const PerTypeIterator & |
it | ) |
const |
|
inline |
- Parameters
-
- Returns
- true if both iterators are not equal
Definition at line 242 of file PetriNet.hh.
- Returns
- the underlying Node pointed by the iterator. If the type of the iterator is PetriNet::P, it is a Place if the type of the iterator is PetriNet::T, it is a Transition
Definition at line 217 of file PetriNet.hh.
- Returns
- the next iterator. If the current iterator points to a Transition, the next iterator points to a Transition If the current iterator points to a Place, the next iterator points to a Place
PerTypeIterator Diades::Petri::PetriNet::PerTypeIterator::operator++ |
( |
int |
| ) |
|
- Returns
- the next iterator. If the current iterator points to a Transition, the next iterator points to a Transition If the current iterator points to a Place, the next iterator points to a Place
- Returns
- the underlying Node pointed by the iterator. If the type of the iterator is PetriNet::P, it is a Place if the type of the iterator is PetriNet::T, it is a Transition
Definition at line 225 of file PetriNet.hh.
bool Diades::Petri::PetriNet::PerTypeIterator::operator== |
( |
const PerTypeIterator & |
it | ) |
const |
|
inline |
const PetriNet* Diades::Petri::PetriNet::PerTypeIterator::_net |
|
private |
The documentation for this class was generated from the following file:
- /home/yannick/compilation/stable/include/petri/PetriNet.hh