| commit | ec1612400b7e0a4b3024fdd986dd79ba644e6e08 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 2 Apr 2008 14:48:27 +0000 (2 16:48 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 2 Apr 2008 17:52:46 +0000 (2 19:52 +0200) | ||
| tree | 386ddac1e4feec04392d5ed5a19797f6fcb7ac33 | treesnapshot (tar.gz zip) |
| parent | fc18555eaac9c1a52419d304931469aeddce11ae | commitdiff |
parker/count_solutions.cc: fix treatment of existentially quantified variables
We weren't allocating enough space for the existentially quantified variables.
We now also project out the existential variables in each disjunct,
rather than accumulating them over all disjuncts first.
We weren't allocating enough space for the existentially quantified variables.
We now also project out the existential variables in each disjunct,
rather than accumulating them over all disjuncts first.
| parker/count_solutions.cc | diffblobblamehistory |