| commit | 54ee8e197eb7b71ee459f646d88190b625c5392a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 13 Jun 2016 13:35:07 +0000 (13 15:35 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 27 Jun 2016 12:20:41 +0000 (27 14:20 +0200) | ||
| tree | ca2903045686a9325a02c1f3f9fb2a6a2679402b | treesnapshot (tar.gz zip) |
| parent | 9fa7ed16e7ee79e8b1bc3f2e1e096c2ea24a3925 | commitdiff |
isl_tab_pip.c: propagate_equalities: remove undo tracking when done
propagate_equalities temporarily needs undo tracking in the main tableau
to test whether an equality can be propagated to this main tableau.
The undo tracking should however be turned off again when
propagate_equalities has finished its computation as otherwise
redundant constraints may get needlessly piled up in the main tableau.
Note that undo tracking is not otherwise needed in the main tableau
because a copy of the tableau is created when a choice is made.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
propagate_equalities temporarily needs undo tracking in the main tableau
to test whether an equality can be propagated to this main tableau.
The undo tracking should however be turned off again when
propagate_equalities has finished its computation as otherwise
redundant constraints may get needlessly piled up in the main tableau.
Note that undo tracking is not otherwise needed in the main tableau
because a copy of the tableau is created when a choice is made.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab_pip.c | diffblobblamehistory |