9 #include "GroundedSemantics.h"
17 vector<Labelling>::iterator it;
25 vector<Labelling>::iterator inner;
32 if ((*it).inargs()->is_subset((*inner).inargs()))
59 toexplore.
clone(&oldexplore);
67 it != toexplore.
end(); it++)
69 if ((*it)->get_attackers()->empty()
70 || (*it)->get_attackers()->is_subset_equal(
88 itrem != to_erase.
end(); itrem++)
90 toexplore.
remove((*itrem));
96 }
while (!(oldexplore == toexplore));
101 GroundedSemantics::~GroundedSemantics()