remove unnecessary std set
This commit is contained in:
parent
a2429a1eec
commit
1f1d194326
|
@ -482,12 +482,10 @@ void
|
||||||
LiftedWCNF::addIndicatorClauses (const ParfactorList& pfList)
|
LiftedWCNF::addIndicatorClauses (const ParfactorList& pfList)
|
||||||
{
|
{
|
||||||
ParfactorList::const_iterator it = pfList.begin();
|
ParfactorList::const_iterator it = pfList.begin();
|
||||||
set<PrvGroup> allGroups;
|
|
||||||
while (it != pfList.end()) {
|
while (it != pfList.end()) {
|
||||||
const ProbFormulas& formulas = (*it)->arguments();
|
const ProbFormulas& formulas = (*it)->arguments();
|
||||||
for (size_t i = 0; i < formulas.size(); i++) {
|
for (size_t i = 0; i < formulas.size(); i++) {
|
||||||
if (Util::contains (allGroups, formulas[i].group()) == false) {
|
if (Util::contains (map_, formulas[i].group()) == false) {
|
||||||
allGroups.insert (formulas[i].group());
|
|
||||||
ConstraintTree tempConstr = *(*it)->constr();
|
ConstraintTree tempConstr = *(*it)->constr();
|
||||||
tempConstr.project (formulas[i].logVars());
|
tempConstr.project (formulas[i].logVars());
|
||||||
Clause clause (tempConstr);
|
Clause clause (tempConstr);
|
||||||
|
|
Reference in New Issue