10 #include "CompleteSemantics.h"
12 bool CompleteSemantics::another_complete()
17 vector<Labelling>::iterator it;
22 for (arg = (*it).inargs()->begin(); arg != (*it).inargs()->end(); arg++)
27 for (arg = (*it).outargs()->begin(); arg != (*it).outargs()->end();
33 for (arg = (*it).undecargs()->begin(); arg != (*it).undecargs()->end();
41 if(this->
satlab(compute, &res))
54 while(this->another_complete());
57 CompleteSemantics::~CompleteSemantics()