barvinok_enumerate_with_options: don't add context constraints to polyhedron
commit1b7b802f234b07f79a9d00e1f7626d4ad738f10e
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 29 Jul 2007 13:47:47 +0000 (29 15:47 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 29 Jul 2007 15:02:13 +0000 (29 17:02 +0200)
tree462130f1924198300d7a1473d185a42c27d2d462
parent74b85d221a3b7a6288e6b9030a7e59e8b17efcda
barvinok_enumerate_with_options: don't add context constraints to polyhedron

Instead, replace the context by the "true context", i.e., the
intersection with the projection of the polyhedron onto the
parameter space.
barvinok.cc