| commit | 72f5679cf4e440f4024e1fe206cfee70ea913994 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 23 Mar 2008 21:21:30 +0000 (23 22:21 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 31 Mar 2008 10:05:58 +0000 (31 12:05 +0200) | ||
| tree | 8e3d7059a69b02b6ee95dcc4e3e263732dcb276f | treesnapshot (tar.gz zip) |
| parent | d43fe8f95ca06fb5235f494bdc1bfa92e8560151 | commitdiff |
euler.cc: summate_over_domain: only consider actual facets
Not all constraints are active on each domain and if we don't
compute the facets of the domain, then there may be some
of these constraints left in the domain description.
Trying to find the vertices of such "facets" would obviously fail.
There is not need to remove redundant constraints from the
domain, however, as we can easily read off the facets from the vertices
active on the domain.
Not all constraints are active on each domain and if we don't
compute the facets of the domain, then there may be some
of these constraints left in the domain description.
Trying to find the vertices of such "facets" would obviously fail.
There is not need to remove redundant constraints from the
domain, however, as we can easily read off the facets from the vertices
active on the domain.
| euler.cc | diffblobblamehistory |