DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <PartialOrder.hh>
Public Member Functions | |
Iterator (const PartialOrder &order, set< Node >::const_iterator it) | |
const Object & | operator* () const |
Iterator & | operator++ () |
Iterator | operator++ (int) |
const Object & | operator-> (void) const |
bool | operator== (const Iterator &it) const |
bool | operator!= (const Iterator &it) const |
Private Attributes | |
const PartialOrder & | _order |
set< Node >::const_iterator | _it |
Iterator on the Net.
Subclass of the PartialOrder class that defines iterators over the Object of the PartialOrder
Definition at line 48 of file PartialOrder.hh.
|
inline |
Definition at line 57 of file PartialOrder.hh.
References Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator*().
Referenced by Diades::Utils::PartialOrder< Diades::Petri::Extension, Diades::Petri::AdequateOrder, Diades::Petri::ExtensionEquality >::maximalBegin(), Diades::Utils::PartialOrder< Diades::Petri::Extension, Diades::Petri::AdequateOrder, Diades::Petri::ExtensionEquality >::maximalEnd(), Diades::Utils::PartialOrder< Diades::Petri::Extension, Diades::Petri::AdequateOrder, Diades::Petri::ExtensionEquality >::minimalBegin(), Diades::Utils::PartialOrder< Diades::Petri::Extension, Diades::Petri::AdequateOrder, Diades::Petri::ExtensionEquality >::minimalEnd(), and Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator++().
|
inline |
Definition at line 84 of file PartialOrder.hh.
const Object & Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator* | ( | ) | const |
Definition at line 225 of file PartialOrder.hh.
References Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::_it, Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::_order, and Diades::Utils::PartialOrder< Object, Order, Equal >::getObject().
Referenced by Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::Iterator().
|
inline |
Definition at line 61 of file PartialOrder.hh.
References Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::_it.
|
inline |
const Object & Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator-> | ( | void | ) | const |
Definition at line 231 of file PartialOrder.hh.
References Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::_it, Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::_order, and Diades::Utils::PartialOrder< Object, Order, Equal >::getObject().
Referenced by Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator++().
|
inline |
Definition at line 79 of file PartialOrder.hh.
References Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::_it, and Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::_order.
|
private |
Definition at line 52 of file PartialOrder.hh.
Referenced by Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator*(), Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator++(), Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator->(), and Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator==().
|
private |