SemOpt  $Revision:83+[c2a47fa11ed3+]$
StableSemantics.cpp
Go to the documentation of this file.
1 
9 #include "StableSemantics.h"
10 
15 {
17  vector<Labelling> newlabs = vector<Labelling>();
18  vector<Labelling>::iterator it;
19  for (it = this->labellings.begin(); it != this->labellings.end(); it++)
20  {
21  if ((*it).undecargs()->empty())
22  {
23  newlabs.push_back((*it));
24  }
25  }
26  this->labellings = newlabs;
27 }
28 
29 StableSemantics::~StableSemantics()
30 {
31  // TODO Auto-generated destructor stub
32 }
33