summaryrefslogtreecommitdiff
path: root/isl_map_subtract.c
AgeCommit message (Expand)AuthorFilesLines
2010-03-04privately export isl_set_contains_pointSven Verdoolaege1-43/+8
2010-03-04isl_map_subtract: only add divs when neededSven Verdoolaege1-39/+141
2010-03-04add isl_set_complementSven Verdoolaege1-0/+12
2010-02-03isl_map_subtract.c: make some internal functions staticSven Verdoolaege1-2/+2
2010-01-31add private isl_{set,map}_make_disjointSven Verdoolaege1-0/+41
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-08isl_map_is_subset: break off as soon as difference is known to be non-emptySven Verdoolaege1-6/+70
2009-12-08compute set difference using a backtracking algorithmSven Verdoolaege1-91/+337
2009-12-07isl_map_subtract.c: extract from isl_map.cSven Verdoolaege1-0/+349