DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <ComposableModelSearch.hh>
Classes | |
struct | Iterator |
Public Types | |
typedef DiagState | Node |
typedef Transition | Edge |
typedef ComposableModel | Graph |
Public Member Functions | |
NextTransitions (const Graph &model, const Node &dstate, const IncorrectPath &cut) | |
Iterator | begin () const |
Iterator | end () const |
Private Attributes | |
const Graph & | _model |
const Node & | _dstate |
const IncorrectPath & | _cut |
Implements TIncidentEdges for searching into a ComposableModel and performing a diagnosis. The underlying graph is a ComposableModel. Only the edges not rejected by IncorrectPath are considered during the search.
Definition at line 130 of file ComposableModelSearch.hh.
Definition at line 134 of file ComposableModelSearch.hh.
Definition at line 135 of file ComposableModelSearch.hh.
Definition at line 133 of file ComposableModelSearch.hh.
|
inline |
Definition at line 214 of file ComposableModelSearch.hh.
|
inline |
|
inline |
Definition at line 217 of file ComposableModelSearch.hh.
References Diades::Automata::DiagState::obsNb(), Diades::Automata::ComposableModel::outputTransitionEnd(), and Diades::Automata::DiagState::state().
|
private |
Definition at line 140 of file ComposableModelSearch.hh.
|
private |
Definition at line 139 of file ComposableModelSearch.hh.
|
private |
Definition at line 138 of file ComposableModelSearch.hh.