dpoly: use Value instead of ZZ
commitac9c0d043f1ad00765d2d2a1d97343825b571c9c
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 3 May 2007 11:18:39 +0000 (3 13:18 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 8 May 2007 15:26:06 +0000 (8 17:26 +0200)
tree2f46b2a433e862757ddc918baf8365761900d16c
parente3c0acfa48df012db8761d43e0fbfd37e80e4ad2
dpoly: use Value instead of ZZ
barvinok.cc
bfcounter.cc
dpoly.cc
dpoly.h
reducer.cc
reducer.h
testlib.cc