clear extra coefficients in isl_basic_map_alloc_{in,}equality |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_{set,map}_dup: copy subsets instead of duping them |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_basic_map_eliminate_vars: update number of extra vars after each extension |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_basic_map_gist: unique lower or upper bounds are never redundant |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_basic_map_convex_hull: unique lower or upper bounds are never redundant |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_basic_set_gist: remove redundant constraints with same normal without lp |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
export isl_basic_set_dup |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add some functions for manipulating constraints |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_set_gist: reduce result using equalities of context |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_basic_set_interval and isl_basic_set_product |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_set_simple_hull |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_set_fast_is_disjoint |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
export isl_set_eliminate_dims |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_basic_set_print and isl_set_print for printing in PolyLib format |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_{set,map}_fast_is_equal |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_basic_map_eliminate_vars: ensure variable is eliminated before dropping equality |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_map_remove_inputs |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_set_lower_bound_dim |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_set_fast_dim_has_fixed_lower_bound |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_basic_set_dim_residue_class |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_set_gist |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_set_fast_dim_is_fixed and isl_map_fast_input_is_fixed |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_map_deltas |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_basic_set_compare_at |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
clear rational flags from resulting convex hull |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_basic_map_is_empty: don't compute sample for rational sets |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
isl_basic_map_eliminate_vars: remove all redundant constraints after each step |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_basic_set_remove_dims |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
add isl_set_copy_basic_set and isl_set_drop_basic_set |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|
wrap_facet: missing error path |
skimo
as Sven Verdoolaege
|
More...
|
over 15 years ago
|