lexmin: allow emptiness check through counting
commitb5a47386cace8b3f73efb620369d1b068d0cad47
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 1 Dec 2006 04:08:09 +0000 (1 05:08 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Dec 2006 08:54:00 +0000 (11 09:54 +0100)
tree84402b9af64e5056d44f51333aeb195ec1eb672a
parent4cf58c6c287ec5d748588e35c20e7c3664a39953
lexmin: allow emptiness check through counting
barvinok.cc
barvinok/options.h
edomain.cc
lexmin.cc
options.c