add isl_basic_set_insert_div
commit865709f9cd05685615fc55d763d2c12938fcf65d
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 7 Apr 2024 15:49:42 +0000 (7 17:49 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 7 Apr 2024 15:49:42 +0000 (7 17:49 +0200)
treef0a344fb45ba853582bdb559a214d9787347b9a1
parent5e39c0992313fbac42bb0add937796030e2edb5b
add isl_basic_set_insert_div

This will be used in an upcoming commit.

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