#include <FaultPattern.hh>
Public Member Functions | |
| SingleFaultEventPattern (Event fault) | |
 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... | |
Detailed Description
This class implements the pattern "single fault event"
Definition at line 217 of file FaultPattern.hh.
Constructor & Destructor Documentation
◆ SingleFaultEventPattern()
| Diades::Automata::SingleFaultEventPattern::SingleFaultEventPattern | ( | Event | fault | ) |
- Parameters
-
fault the involved fault event
- Returns
- the SingleFaultEventPattern "occurrence of the fault event 'fault'
The documentation for this class was generated from the following file:
- /home/yannick/laas/redmine/tools/diades/include/diades/automata/FaultPattern.hh
