AC: only allow one counting node per branch
This commit is contained in:
parent
829f2248ee
commit
b599b45bc6
@ -526,6 +526,13 @@ LiftedCircuit::tryAtomCounting (
|
|||||||
CircuitNode** follow,
|
CircuitNode** follow,
|
||||||
Clauses& clauses)
|
Clauses& clauses)
|
||||||
{
|
{
|
||||||
|
for (size_t i = 0; i < clauses.size(); i++) {
|
||||||
|
if (clauses[i].nrPositiveCountedLogVars() > 0
|
||||||
|
|| clauses[i].nrNegativeCountedLogVars() > 0) {
|
||||||
|
// only allow one atom counting node per branch
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
}
|
||||||
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++) {
|
||||||
|
Reference in New Issue
Block a user