isl_hmap_map_basic_set.h \
isl_ilp.c \
isl_input.c \
+ isl_int.h \
isl_local_space_private.h \
isl_local_space.c \
isl_lp.c \
isl_transitive_closure.c \
isl_union_map.c \
isl_union_map_private.h \
+ isl_val.c \
+ isl_val_gmp.c \
isl_vec.c \
isl_version.c \
isl_vertices_private.h \
include/isl/union_map_type.h \
include/isl/union_set.h \
include/isl/union_set_type.h \
+ include/isl/val.h \
+ include/isl/val_gmp.h \
include/isl/vec.h \
include/isl/version.h \
include/isl/vertices.h