FaultDiagProblem.hh File Reference

Definition of a fault diagnosis problem in a discrete-event system. More...

#include <list>
#include <vector>
#include <map>
#include "Event.hh"
#include "ObservableComponent.hh"
#include "SynchronisationRules.hh"
#include "EventOccurrence.hh"

Go to the source code of this file.

Classes
class	Diades::Automata::FaultDiagProblem
	Definition of a fault diagnosis problem in a discrete-event system. More...

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Automata

Detailed Description

Definition of a fault diagnosis problem in a discrete-event system.

Author

Yannick Pencolé yanni.nosp@m.ck.p.nosp@m.encol.nosp@m.e@la.nosp@m.as.fr

Date

Fri May 3 11:00:26 2013

Definition in file FaultDiagProblem.hh.