Diagnose.hh File Reference

#include <boost/date_time/posix_time/posix_time.hpp>
#include "History.hh"
#include "FaultDiagProblem.hh"

Go to the source code of this file.

Classes
class	Diades::Automata::Diagnose< ALG >

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

Typedefs
typedef pair< time_duration, Event >	Diades::Automata::EventOccurrence