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