10 #include "Labelling.h"
35 this->labelling = map<Argument *, Label>();
51 this->labelling.insert(pair<Argument *, Label>(arg, l));
67 return (this->labelling.find(arg) != this->labelling.end());
77 return this->labelling.at(arg);
104 return &(this->undec);
113 return this->labelling.empty() && this->in.
empty() && this->out.
empty() && this->undec.
empty();
123 map<Argument *, Label>::iterator it;
124 for (it = this->labelling.begin(); it != this->labelling.end(); it++)
126 other->
add_label((*it).first, (*it).second);
130 Labelling::~Labelling()