temporarily add isl_val_get_num_isl_int
commitd93eecde09989748350cc1a7f92bea4c6c4e14c3
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 28 May 2013 12:12:55 +0000 (28 14:12 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 28 May 2013 18:42:49 +0000 (28 20:42 +0200)
tree633173f1404c20f14605cfdc36f4e2af7fe2b3fe
parent7bc3560a92635b5dcf7eb9e7329992fc935a1ce2
temporarily add isl_val_get_num_isl_int

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/val_int.h
isl_val.c