Changeset f60ab1 in git for factory

Timestamp:

Jan 28, 2021, 2:34:32 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

19ee5eb33e0ea7b7b2733aee435dc677eb23f478

Parents:

b72766d4cc7867edd0519743576e84d21bd855f7

Message:

fix: absFactorize

File:

• factory/facBivar.cc (modified) (1 diff)

factory/facBivar.cc

@@ -613 +613 @@
     for (CFListIterator iter= uniFactors; iter.hasItem(); iter++)
       iter.getItem()= replacevar (iter.getItem(), vv, v);
-    prune (vv);
+    //prune (vv);
   }