add isl_tab_mark_rational
commitfa560ec098ae17564f7773c86ab064e4d3538023
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 9 Dec 2014 11:42:47 +0000 (9 12:42 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 25 Dec 2014 09:52:45 +0000 (25 10:52 +0100)
tree1625e3f26a6e1b4efb9e46cf1912ef3e54b253ac
parent0bc136f34aa5f80aa21ed32b86f144f6a5e5338c
add isl_tab_mark_rational

We will need this in the next commit to temporarily mark
a tableau as rational.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab.c
isl_tab.h