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

#include <FaultPattern.hh>

Public Member Functions

 DisjunctiveFaultPattern (const list< FaultPattern *> &patterns)
 
- 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 disjunctive fault pattern. Given a set of patterns p1,...,pn this class implements the disjunction of them: p1 or ... or pn

Definition at line 278 of file FaultPattern.hh.

Constructor & Destructor Documentation

◆ DisjunctiveFaultPattern()

Diades::Automata::DisjunctiveFaultPattern::DisjunctiveFaultPattern ( const list< FaultPattern *> &  patterns)
Parameters
patternsthe set of patterns
Returns
the disjunction of these patterns

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