diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

always copy clauses for backup

Browse Source
This commit is contained in:
Tiago Gomes 2012-12-09 22:57:39 +00:00
parent 90736156ae
commit 9c8827c309
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
packages/CLPBN/horus/LiftedCircuit.cpp
View File

@ -349,7 +349,7 @@ LiftedCircuit::tryIndependence (
return false;
}
if (Globals::verbosity > 1) {
backupClauses_ = clauses;
backupClauses_ = Clause::copyClauses (clauses);
}
Clauses depClauses = { clauses[0] };
Clauses indepClauses (clauses.begin() + 1, clauses.end());
@ -827,7 +827,8 @@ LiftedCircuit::createSmoothNode (
if (it != originClausesMap_.end()) {
backupClauses_ = it->second;
} else {
backupClauses_ = { ((dynamic_cast<LeafNode*>(*prev))->clause()) };
backupClauses_ = Clause::copyClauses (
{((dynamic_cast<LeafNode*>(*prev))->clause())});
}
}
Clauses clauses;