add isl_space_check_named_params
commita33f3f653e6a02208d57f5d9d59e8a4793bbaa62
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 6 Sep 2016 13:07:51 +0000 (6 15:07 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 7 Mar 2017 11:44:05 +0000 (7 12:44 +0100)
tree2a864608b1beff5f5f8948d95bc90dbb94a5e78e
parent6e328d5a50e236694b4eda3ddd44d526e33f179f
add isl_space_check_named_params

This function will be used in the next commit.

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