isl_basic_set_lift: properly update the number of extra variables
[isl.git] / include / isl / 
tree3c3b72d6677397a507a1dd10cf122c35e26cb188
drwxr-xr-x   ..
-rw-r--r-- 7375 arg.h
-rw-r--r-- 844 blk.h
-rw-r--r-- 49 config.h.in
-rw-r--r-- 3937 constraint.h
-rw-r--r-- 4758 ctx.h
-rw-r--r-- 3486 dim.h
-rw-r--r-- 1444 div.h
-rw-r--r-- 1614 flow.h
-rw-r--r-- 2171 hash.h
-rw-r--r-- 557 ilp.h
-rw-r--r-- 4125 int.h
-rw-r--r-- 727 list.h
-rw-r--r-- 1274 lp.h
-rw-r--r-- 19430 map.h
-rw-r--r-- 4304 mat.h
-rw-r--r-- 1614 obj.h
-rw-r--r-- 1254 options.h
-rw-r--r-- 1012 point.h
-rw-r--r-- 22279 polynomial.h
-rw-r--r-- 1666 printer.h
-rw-r--r-- 2096 seq.h
-rw-r--r-- 15791 set.h
-rw-r--r-- 2728 stream.h
-rw-r--r-- 5123 union_map.h
-rw-r--r-- 3490 union_set.h
-rw-r--r-- 1515 vec.h
-rw-r--r-- 165 version.h
-rw-r--r-- 1525 vertices.h