DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <ComposableModelSearch.hh>
Public Types | |
typedef Iterator | self |
typedef ptrdiff_t | difference_type |
typedef std::forward_iterator_tag | iterator_category |
typedef Edge | value_type |
typedef Edge * | pointer |
typedef Edge & | reference |
Public Member Functions | |
Iterator () | |
Iterator (const Graph::OutputTransitionIterator &it, const Graph::OutputTransitionIterator &end, unsigned nbObs, const IncorrectPath &cut) | |
reference | operator* () const |
pointer | operator-> () const |
self & | operator++ () |
self | operator++ (int) |
bool | operator== (const self &it) const |
bool | operator!= (const self &it) const |
Public Attributes | |
ComposableModel::OutputTransitionIterator | _it |
ComposableModel::OutputTransitionIterator | _end |
unsigned | _nbObs |
const IncorrectPath * | _cut |
Definition at line 143 of file ComposableModelSearch.hh.
typedef ptrdiff_t Diades::Automata::NextTransitions::Iterator::difference_type |
Definition at line 146 of file ComposableModelSearch.hh.
typedef std::forward_iterator_tag Diades::Automata::NextTransitions::Iterator::iterator_category |
Definition at line 147 of file ComposableModelSearch.hh.
Definition at line 149 of file ComposableModelSearch.hh.
Definition at line 150 of file ComposableModelSearch.hh.
Definition at line 145 of file ComposableModelSearch.hh.
Definition at line 148 of file ComposableModelSearch.hh.
|
inline |
Definition at line 157 of file ComposableModelSearch.hh.
|
inlineexplicit |
Definition at line 159 of file ComposableModelSearch.hh.
References Diades::Automata::IncorrectPath::noGood().
|
inline |
Definition at line 206 of file ComposableModelSearch.hh.
|
inline |
Definition at line 168 of file ComposableModelSearch.hh.
|
inline |
Definition at line 178 of file ComposableModelSearch.hh.
References Diades::Automata::IncorrectPath::noGood().
|
inline |
Definition at line 188 of file ComposableModelSearch.hh.
References Diades::Automata::IncorrectPath::noGood().
|
inline |
Definition at line 173 of file ComposableModelSearch.hh.
|
inline |
Definition at line 201 of file ComposableModelSearch.hh.
const IncorrectPath* Diades::Automata::NextTransitions::Iterator::_cut |
Definition at line 155 of file ComposableModelSearch.hh.
ComposableModel::OutputTransitionIterator Diades::Automata::NextTransitions::Iterator::_end |
Definition at line 153 of file ComposableModelSearch.hh.
ComposableModel::OutputTransitionIterator Diades::Automata::NextTransitions::Iterator::_it |
Definition at line 152 of file ComposableModelSearch.hh.
unsigned Diades::Automata::NextTransitions::Iterator::_nbObs |
Definition at line 154 of file ComposableModelSearch.hh.