DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <ComposableModelSearch.hh>
Public Types | |
typedef Transition | Edge |
typedef ComposableModel | Graph |
Public Member Functions | |
IncorrectPath (const Graph &model, const unordered_set< Event > &observables, const vector< EventOccurrence > &observations) | |
bool | noGood (unsigned nbObs, const Edge &t) const |
Private Attributes | |
const Graph & | _model |
const unordered_set< Event > & | _observables |
const vector< EventOccurrence > & | _observations |
Implements TPathCut for searching into a ComposableModel and performing a diagnosis. If the current edge is observable but is not compatible with the sequence of observation, the edge is not triggerable and must be pruned.
Definition at line 97 of file ComposableModelSearch.hh.
Definition at line 100 of file ComposableModelSearch.hh.
Definition at line 101 of file ComposableModelSearch.hh.
|
inline |
Definition at line 108 of file ComposableModelSearch.hh.
|
inline |
Definition at line 111 of file ComposableModelSearch.hh.
References Diades::Automata::ComposableModel::component(), and Diades::Automata::Component::getEvent().
Referenced by Diades::Automata::NextTransitions::Iterator::Iterator(), and Diades::Automata::NextTransitions::Iterator::operator++().
|
private |
Definition at line 103 of file ComposableModelSearch.hh.
|
private |
Definition at line 104 of file ComposableModelSearch.hh.
|
private |
Definition at line 105 of file ComposableModelSearch.hh.