9 #include "PreferredSemantics.h"
11 void PreferredSemantics::add_non_emptiness()
15 for (it_args =
af->
begin(); it_args !=
af->
end(); it_args++)
37 vector<Labelling>::iterator it;
45 vector<Labelling>::iterator inner;
52 if ((*it).inargs()->is_subset((*inner).inargs()))
73 this->add_non_emptiness();
85 if(!this->
satlab(cnfdf, &res))
98 cout << (*it)->
getName() <<
" ";
104 res.
clone(&prefcand);
132 if (prefcand.
empty())
159 PreferredSemantics::~PreferredSemantics()