DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <ComposableModelSearch.hh>
Public Member Functions | |
ComposableModelSearch (const FaultDiagProblem &problem) | |
~ComposableModelSearch () | |
void | destroy () |
void | initialize () |
bool | finished () const |
void | next () |
bool | updated () const |
const Diagnosis & | diagnosis () |
const FaultDiagProblem & | problem () const |
Private Attributes | |
list< typename Algorithm::Search::Node > | _initialDiagStates |
list< typename Algorithm::Search::Node > | _results |
Algorithm::Search::Solution * | _isCandidate |
Algorithm::Search::PathCut * | _incorrectPath |
Algorithm::Search::Opposite * | _targetDiagState |
Diagnosis | _diagnosis |
const FaultDiagProblem & | _problem |
ComposableModel * | _model |
vector< const ComposableModel * > | _compModels |
Algorithm * | _search |
Generic search on a ComposableModel. It can be a BFS (see FBFS) of a DFS (see FDFS) It implements what is required by the template Diagnose for "ANY" exploration on a ComposableModel.
Definition at line 290 of file ComposableModelSearch.hh.
|
inline |
Definition at line 305 of file ComposableModelSearch.hh.
|
inline |
Definition at line 311 of file ComposableModelSearch.hh.
|
inline |
Definition at line 314 of file ComposableModelSearch.hh.
|
inline |
Definition at line 393 of file ComposableModelSearch.hh.
References Diades::Automata::Diagnosis::addCandidate(), Diades::Automata::Diagnosis::clear(), Diades::Automata::DiagState::faults(), Diades::Automata::ComposableModel::models(), Diades::Automata::DiagState::state(), and Diades::Automata::ComposableModel::vectorStateOf().
|
inline |
Definition at line 390 of file ComposableModelSearch.hh.
|
inline |
Definition at line 352 of file ComposableModelSearch.hh.
References Diades::Automata::ComposableModel::beginOfInitialStates(), Diades::Automata::ComposableModel::endOfInitialStates(), and Diades::Automata::DiagState::faults().
|
inline |
Definition at line 391 of file ComposableModelSearch.hh.
|
inline |
Definition at line 433 of file ComposableModelSearch.hh.
|
inline |
Definition at line 392 of file ComposableModelSearch.hh.
|
private |
Definition at line 301 of file ComposableModelSearch.hh.
|
private |
Definition at line 298 of file ComposableModelSearch.hh.
|
private |
Definition at line 296 of file ComposableModelSearch.hh.
|
private |
Definition at line 293 of file ComposableModelSearch.hh.
|
private |
Definition at line 295 of file ComposableModelSearch.hh.
|
private |
Definition at line 300 of file ComposableModelSearch.hh.
|
private |
Definition at line 299 of file ComposableModelSearch.hh.
|
private |
Definition at line 294 of file ComposableModelSearch.hh.
|
private |
Definition at line 302 of file ComposableModelSearch.hh.
|
private |
Definition at line 297 of file ComposableModelSearch.hh.