| commit | 94eadd257cc91d8165901643eef33f77949c4d19 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 29 Jul 2007 14:49:17 +0000 (29 16:49 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 29 Jul 2007 15:02:12 +0000 (29 17:02 +0200) | ||
| tree | f5271d95eb5a50e056f8fda5faf558882ddf1d79 | treesnapshot (tar.gz zip) |
| parent | 58dc6b7a825b98fcbc3b50b69b5035a48b828ee0 | commitdiff |
remove_all_equalities: also remove equalities in context
The equalities in the context may not be available in the
polyhedron itself.
The equalities in the context may not be available in the
polyhedron itself.
| remove_equalities.c | diffblobblamehistory |