Searched refs:cone (Results 1 - 7 of 7) sorted by relevance
| /haiku-buildtools/isl/ |
| H A D | isl_sample.h | 23 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone);
|
| H A D | isl_sample.c | 862 /* Given a linear cone "cone" and a rational point "vec",
863 * construct a polyhedron with shifted copies of the constraints in "cone",
864 * i.e., a polyhedron with "cone" as its recession cone, such that each
866 * lies entirely inside the affine cone 'vec + cone'.
868 * to yield an integer point that lies inside said affine cone.
870 * Denote the constraints of cone by "<a_i, x> >= 0" and the rational
872 * Let b_i = <a_i, v>. Then the affine cone 've
895 shift_cone(struct isl_basic_set *cone, struct isl_vec *vec) argument
953 round_up_in_cone(struct isl_vec *vec, struct isl_basic_set *cone, struct isl_mat *U) argument
1053 isl_basic_set_sample_with_cone( __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone) argument
1239 struct isl_basic_set *cone; local
[all...] |
| H A D | isl_affine_hull.c | 754 * construct an initial affine hull containing the recession cone
799 * recession cone, detect and add all equalities to the tableau.
883 /* Compute the affine hull of "bset", where "cone" is the recession cone
915 struct isl_basic_set *cone)
922 if (!bset || !cone)
925 total = isl_basic_set_total_dim(cone);
926 cone_dim = total - cone->n_eq;
928 M = isl_mat_sub_alloc6(bset->ctx, cone->eq, 0, cone
914 affine_hull_with_cone(struct isl_basic_set *bset, struct isl_basic_set *cone) argument
994 struct isl_basic_set *cone; local
[all...] |
| H A D | isl_tab_pip.c | 2631 struct isl_tab *cone; member in struct:isl_context_gbr
2740 struct isl_basic_set *cone; local
2755 if (!cgbr->cone) {
2757 cgbr->cone = isl_tab_from_recession_cone(bset, 0);
2758 if (!cgbr->cone)
2760 if (isl_tab_track_bset(cgbr->cone,
2764 if (isl_tab_detect_implicit_equalities(cgbr->cone) < 0)
2767 if (cgbr->cone->n_dead == cgbr->cone->n_col) {
2792 cone
[all...] |
| H A D | isl_tab.h | 178 unsigned cone : 1; member in struct:isl_tab
|
| H A D | isl_tab.c | 77 tab->cone = 0;
296 tab->cone = tab->cone;
447 isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL);
549 prod->cone = tab1->cone;
1799 if (tab->cone) {
1804 if (tab->cone) {
1980 if (tab->cone) {
[all...] |
| /haiku-buildtools/isl/doc/ |
| H A D | implementation.tex | 656 The affine hull of the recession cone therefore needs to be projected
658 incrementally keep track of this recession cone. The reduced basis
1103 generate the rational cone
1109 a Hilbert basis of this cone \shortcite[Theorem~16.4]{Schrijver1986}.
|
Completed in 70 milliseconds