add isl_tab_lexmin_dim
commit699fffc201537e861745a6c14f1f4128576bc641
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 18 Apr 2016 10:46:16 +0000 (18 12:46 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 18 Apr 2016 10:56:48 +0000 (18 12:56 +0200)
tree5d4267440aae52fbfd631d66ccfeac2f89fa71bc
parent5bbe8d77c352890dceae49723ad5c6a851593c24
add isl_tab_lexmin_dim

This is useful for constructing an input to isl_tab_lexmin_add_eq
of the right size.

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