HomeSort by: relevance | last modified time | path
    Searched refs:isl_tab (Results 1 - 19 of 19) sorted by relevancy

  /src/external/mit/isl/dist/
isl_basis_reduction.h 15 #include "isl_tab.h"
21 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab);
isl_tab.h 135 struct isl_tab { struct
184 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx,
186 void isl_tab_free(struct isl_tab *tab);
188 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab);
190 __isl_give struct isl_tab *isl_tab_from_basic_map(
192 __isl_give struct isl_tab *isl_tab_from_basic_set(
194 struct isl_tab *isl_tab_from_recession_cone(__isl_keep isl_basic_set *bset,
196 isl_bool isl_tab_cone_is_bounded(struct isl_tab *tab);
198 __isl_take isl_basic_map *bmap, struct isl_tab *tab);
200 __isl_take isl_basic_set *bset, struct isl_tab *tab)
    [all...]
isl_sample.h 14 #include <isl_tab.h>
26 int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab,
27 struct isl_tab *tab_cone);
28 __isl_give isl_vec *isl_tab_sample(struct isl_tab *tab);
isl_tab.c 20 #include "isl_tab.h"
33 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx,
37 struct isl_tab *tab;
40 tab = isl_calloc_type(ctx, struct isl_tab);
100 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab)
105 int isl_tab_extend_cons(struct isl_tab *tab, unsigned n_new)
151 int isl_tab_extend_vars(struct isl_tab *tab, unsigned n_new)
193 static void free_undo(struct isl_tab *tab)
204 void isl_tab_free(struct isl_tab *tab)
223 struct isl_tab *isl_tab_dup(struct isl_tab *tab
    [all...]
isl_tab_pip.c 17 #include "isl_tab.h"
35 * from the one used in isl_tab.c. In particular, in isl_tab.c,
70 struct isl_tab *(*detect_nonnegative_parameters)(
71 struct isl_context *context, struct isl_tab *tab);
75 struct isl_tab *(*peek_tab)(struct isl_context *context);
94 int (*get_div)(struct isl_context *context, struct isl_tab *tab,
100 struct isl_tab *tab);
102 int (*best_split)(struct isl_context *context, struct isl_tab *tab);
131 struct isl_tab *tab
    [all...]
basis_reduction_tab.c 13 #include "isl_tab.h"
20 struct isl_tab *tab;
90 static struct tab_lp *init_lp(struct isl_tab *tab);
118 static struct isl_tab *gbr_tab(struct isl_tab *tab, struct isl_vec *row)
121 struct isl_tab *prod;
135 static struct tab_lp *init_lp(struct isl_tab *tab)
isl_vertices.c 15 #include <isl_tab.h>
123 __isl_keep isl_basic_set *bset, struct isl_tab *tab)
269 struct isl_tab *tab, __isl_keep isl_mat *facets, int selected,
353 struct isl_tab *tab)
366 __isl_keep isl_basic_set *bset, struct isl_tab *tab)
423 struct isl_tab *tab;
573 struct isl_tab *tab)
623 static isl_bool can_intersect(struct isl_tab *tab,
663 __isl_keep isl_vertices *vertices, struct isl_tab *tab, int *selection)
723 struct isl_tab *tab; /* A tableau representation of the facet *
    [all...]
basis_reduction_templ.c 49 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab)
319 struct isl_tab *tab;
isl_sample.c 17 #include "isl_tab.h"
152 static struct isl_mat *tab_equalities(struct isl_tab *tab)
200 static struct isl_mat *initial_basis(struct isl_tab *tab)
227 static enum isl_lp_result compute_min(isl_ctx *ctx, struct isl_tab *tab,
240 static enum isl_lp_result compute_max(isl_ctx *ctx, struct isl_tab *tab,
280 static int greedy_search(isl_ctx *ctx, struct isl_tab *tab,
381 __isl_give isl_vec *isl_tab_sample(struct isl_tab *tab)
631 struct isl_tab *tab = NULL;
738 struct isl_tab *tab;
1024 static int tab_shift_cone(struct isl_tab *tab
    [all...]
isl_affine_hull.c 23 #include "isl_tab.h"
35 struct isl_tab *tab;
266 static __isl_give isl_vec *outside_point(struct isl_tab *tab, isl_int *eq,
421 static __isl_give isl_basic_set *extend_affine_hull(struct isl_tab *tab,
503 struct isl_tab *tab = NULL;
575 static __isl_give isl_basic_set *initial_hull(struct isl_tab *tab,
624 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
625 struct isl_tab *tab_cone)
isl_scan.c 15 #include "isl_tab.h"
55 static int add_solution(struct isl_tab *tab, struct isl_scan_callback *callback)
107 struct isl_tab *tab = NULL;
isl_map_subtract.c 14 #include "isl_tab.h"
49 static isl_stat tab_add_constraints(struct isl_tab *tab,
113 static isl_stat tab_add_constraint(struct isl_tab *tab,
170 static isl_stat tab_add_divs(struct isl_tab *tab,
226 static int tab_freeze_constraints(struct isl_tab *tab)
241 static int n_non_redundant(isl_ctx *ctx, struct isl_tab *tab,
317 struct isl_tab *tab = NULL;
isl_coalesce.c 27 #include "isl_tab.h"
47 static int status_in(isl_int *ineq, struct isl_tab *tab)
68 struct isl_tab *tab_j)
102 struct isl_tab *tab_i, struct isl_tab *tab_j)
199 struct isl_tab *tab;
475 __isl_keep isl_basic_map *bmap, struct isl_tab *tab)
516 struct isl_tab *fused_tab = NULL;
671 static isl_bool contains(struct isl_coalesce_info *info, struct isl_tab *tab)
1435 struct isl_tab *tab, int keep
    [all...]
isl_lp.c 14 #include "isl_tab.h"
29 struct isl_tab *tab;
isl_convex_hull.c 23 #include "isl_tab.h"
54 struct isl_tab *tab;
812 struct isl_tab *tab;
1080 struct isl_tab *tab;
1995 struct isl_tab *tab;
isl_map_simplify.c 21 #include "isl_tab.h"
2443 __isl_keep int *row, struct isl_tab *tab)
2486 struct isl_tab *tab)
2537 struct isl_tab *tab = NULL;
4248 struct isl_tab *tab;
isl_scheduler.c 33 #include <isl_tab.h>
isl_map.c 40 #include "isl_tab.h"
11683 struct isl_tab *tab = NULL;
  /src/external/mit/isl/lib/libisl/
Makefile 157 isl_tab.c \

Completed in 49 milliseconds