| isl_pw_qpolynomial_bound_range: also set exactness in special cases |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_map_is_bijective |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| doc: document gist operations |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_morph_dom_dim and isl_morph_ran_dim |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_basic_map_is_rational |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| privately export isl_basic_set_sort_constraints and isl_basic_set_fast_is_equal |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_tab_detect_implicit_equalities: also detect manifest equalities |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_tab: optionally only mark strictly redundant rows |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_bound: plug memory leak |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| fix isl_qpolynomial_fold_dup |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| extract out generic part of isl_pw_qpolynomial_bound_range |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| optionally (and by default) use bernstein expansion to compute bounds |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add parametric vertex enumeration |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_basic_set_factorizer |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| export isl_pw_qpolynomial_fold_drop_dims |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| export isl_qpolynomial_is_zero |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_qpolynomial_coeff |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_qpolynomial_from_affine |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| export isl_qpolynomial_add_dims |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_qpolynomial_homogenize |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_qpolynomial_degree |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_qpolynomial_dim |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_ctx: add two |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab * |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| doc: document isl_constraint_is_equality |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| add isl_map_is_single_valued |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_basic_map_foreach_constraint: make sure input has been finalized |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_basic_map_copy: mark duplicated copy as finalized |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
| isl_basic_set_lift: finalize result |
skimo
as Sven Verdoolaege
|
More...
|
almost 14 years ago
|
