8 #ifndef COMPLETEACTIVEDIAGNOSER_HH_ 9 #define COMPLETEACTIVEDIAGNOSER_HH_ 11 #include <unordered_map> 12 #include <Graph/Graph.hh> 13 #include <AModel/Signature.hh> 29 StateMap<DiagnoserStatus>
_tags;
37 void diagnoser2Dot(
const string & filename,unordered_map<string,string> & dico);
38 void admissiblePlans2Dot(
const string & suffix, unordered_map<string,string> & dico);
39 void admissiblePlans2Dot(
State s,
const string & filename, unordered_map<string,string> & dico);
TransMap< string > _labels
StateMap< DiagnoserStatus > _tags
boost::adjacency_list Graph