isl_space_is_domain: extract out isl_space_has_domain_tuples
commit37e564eeb3e539e4a47fd61f7ee6527c2a8cd968
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 17 Feb 2017 13:58:50 +0000 (17 14:58 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 4 Mar 2018 14:36:00 +0000 (4 15:36 +0100)
tree95d26ce541c657723335398484a5949d4393e05c
parentbaa3bc4416122a135a0db0a0a2239cfe181441bd
isl_space_is_domain: extract out isl_space_has_domain_tuples

isl_space_has_domain_tuples is useful when the parameters
do not need to be equal.
In particular, it will be used in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_space.c
isl_space_private.h