SemOpt  $Revision:83+[c2a47fa11ed3+]$
SemistableSemantics.cpp
Go to the documentation of this file.
1 
9 #include "SemistableSemantics.h"
10 
15 {
17  vector<Labelling>::iterator it;
18  bool erased = false;
19  do
20  {
21  erased = false;
22 
23  for (it = this->labellings.begin(); it != this->labellings.end();it++)
24  {
25  vector<Labelling>::iterator inner;
26  for (inner = this->labellings.begin(); inner != this->labellings.end(); inner++)
27  {
28  if (inner == it)
29  continue;
30 
31  if ((*it).undecargs()->is_subset((*inner).undecargs()))
32  {
33  this->labellings.erase(inner);
34  erased = true;
35  break;
36  }
37  }
38  if (erased)
39  break;
40  }
41  } while (erased);
42 }
43 
44 
45 SemistableSemantics::~SemistableSemantics()
46 {
47  // TODO Auto-generated destructor stub
48 }
49