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

use utility method

Browse Source
This commit is contained in:
Tiago Gomes 2012-11-06 23:39:18 +00:00
parent 06a59ad659
commit 829f2248ee
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -529,7 +529,7 @@ LiftedCircuit::tryAtomCounting (
for (size_t i = 0; i < clauses.size(); i++) { for (size_t i = 0; i < clauses.size(); i++) {
Literals literals = clauses[i].literals(); Literals literals = clauses[i].literals();
for (size_t j = 0; j < literals.size(); j++) { for (size_t j = 0; j < literals.size(); j++) {
if (literals[j].logVars().size() == 1 if (literals[j].nrLogVars() == 1
&& ! clauses[i].isIpgLogVar (literals[j].logVars().front()) && ! clauses[i].isIpgLogVar (literals[j].logVars().front())
&& ! clauses[i].isCountedLogVar (literals[j].logVars().front())) { && ! clauses[i].isCountedLogVar (literals[j].logVars().front())) {
unsigned nrGroundings = clauses[i].constr().projectedCopy ( unsigned nrGroundings = clauses[i].constr().projectedCopy (