AModel::CompleteActiveDiagnoser Class Reference

#include <CompleteActiveDiagnoser.hh>

Public Member Functions
	CompleteActiveDiagnoser (const Signature &activeSig, const Signature &completeSig)
virtual	~CompleteActiveDiagnoser ()
void	diagnoser2Dot (const string &filename, unordered_map< string, string > &dico)
void	admissiblePlans2Dot (const string &suffix, unordered_map< string, string > &dico)
void	admissiblePlans2Dot (State s, const string &filename, unordered_map< string, string > &dico)

Private Types
enum	DiagnoserStatus { Monitoring, Active, Done }

Private Attributes
Graph	_graph
StateMap< DiagnoserStatus >	_tags
TransMap< string >	_labels
State	_initial
string	_name

Detailed Description

Definition at line 23 of file CompleteActiveDiagnoser.hh.

Member Enumeration Documentation

DiagnoserStatus

enum AModel::CompleteActiveDiagnoser::DiagnoserStatus

private

Enumerator
Monitoring
Active
Done

Definition at line 26 of file CompleteActiveDiagnoser.hh.

Constructor & Destructor Documentation

CompleteActiveDiagnoser()

AModel::CompleteActiveDiagnoser::CompleteActiveDiagnoser	(	const Signature &	activeSig,
		const Signature &	completeSig
	)

~CompleteActiveDiagnoser()

virtual AModel::CompleteActiveDiagnoser::~CompleteActiveDiagnoser ( )

virtual

Member Function Documentation

admissiblePlans2Dot() [1/2]

void AModel::CompleteActiveDiagnoser::admissiblePlans2Dot	(	const string &	suffix,
		unordered_map< string, string > &	dico
	)

admissiblePlans2Dot() [2/2]

void AModel::CompleteActiveDiagnoser::admissiblePlans2Dot	(	State	s,
		const string &	filename,
		unordered_map< string, string > &	dico
	)

diagnoser2Dot()

void AModel::CompleteActiveDiagnoser::diagnoser2Dot	(	const string &	filename,
		unordered_map< string, string > &	dico
	)

Member Data Documentation

_graph

Graph AModel::CompleteActiveDiagnoser::_graph

private

Definition at line 28 of file CompleteActiveDiagnoser.hh.

_initial

State AModel::CompleteActiveDiagnoser::_initial

private

Definition at line 31 of file CompleteActiveDiagnoser.hh.

_labels

TransMap<string> AModel::CompleteActiveDiagnoser::_labels

private

Definition at line 30 of file CompleteActiveDiagnoser.hh.

_name

string AModel::CompleteActiveDiagnoser::_name

private

Definition at line 32 of file CompleteActiveDiagnoser.hh.

_tags

StateMap<DiagnoserStatus> AModel::CompleteActiveDiagnoser::_tags

private

Definition at line 29 of file CompleteActiveDiagnoser.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/sdmdl/CompleteActiveDiagnoser.hh