DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | List of all members
Diades::Automata::MultipleFaultEventPattern Class Reference

#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::Graphgraph () const
 
virtual bool isFinal (Node s) const
 
bool containsEvent (Event event) const
 
virtual Node initial () const
 
virtual const EventOccurrenceeventOccurrenceOf (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 "mutliple fault event"

Definition at line 238 of file FaultPattern.hh.

Constructor & Destructor Documentation

◆ MultipleFaultEventPattern()

Diades::Automata::MultipleFaultEventPattern::MultipleFaultEventPattern ( const set< Event > &  events)
Parameters
eventsthe involved fault events
Returns
the MutlipleFaultEventPattern "occurrence of the fault event 'fault'

The documentation for this class was generated from the following file: