SemOpt
$Revision:83+[c2a47fa11ed3+]$
Main Page
Classes
Files
File List
File Members
StableSemantics.cpp
Go to the documentation of this file.
1
9
#include "StableSemantics.h"
10
14
void
StableSemantics::compute
()
15
{
16
super::compute
();
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
src
StableSemantics.cpp
Generated on Wed Jun 5 2013 13:51:42 for SemOpt by
1.8.1.2