DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <FaultPattern.hh>
Public Member Functions | |
MultipleFaultEventPattern (const set< Event > &events) | |
Public Member Functions inherited from Diades::Automata::FaultPattern | |
FaultPattern () | |
set of events involved in this pattern More... | |
virtual | ~FaultPattern () |
virtual void | pattern2Dot (const string &filename) |
virtual const Graph::Graph & | graph () const |
virtual bool | isFinal (Node s) const |
bool | containsEvent (Event event) const |
virtual Node | initial () const |
virtual const EventOccurrence & | eventOccurrenceOf (Edge edge) const |
Additional Inherited Members | |
Protected Attributes inherited from Diades::Automata::FaultPattern | |
Graph::Graph | _graph |
EdgeMap< EventOccurrence > | _edgeMap |
the constraint graph More... | |
Node | _initialNode |
the occurrence of Event associated to each Edge of the Graph More... | |
NodeMap< int > | _finalNodes |
initial state of the pattern graph More... | |
unordered_set< Event > | _events |
set of final states of the constraint graph, status == 1 (final) == 0 (non-final) More... | |
This class implements the pattern "mutliple fault event"
Definition at line 238 of file FaultPattern.hh.
Diades::Automata::MultipleFaultEventPattern::MultipleFaultEventPattern | ( | const set< Event > & | events | ) |
events | the involved fault events |