Home
last modified time | relevance | path

Searched refs:isl_tab_lexmin (Results 1 – 3 of 3) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_tab.h279 struct isl_tab_lexmin;
280 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
282 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
284 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
285 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
287 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
288 __isl_take isl_tab_lexmin *tl);
289 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
290 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5580 struct isl_tab_lexmin { struct
5587 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5602 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5606 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5612 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5630 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5639 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5664 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5665 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5679 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
H A Disl_scheduler.c4477 static __isl_give isl_tab_lexmin *zero_out_node_coef( in zero_out_node_coef()
4478 __isl_take isl_tab_lexmin *tl, struct isl_sched_node *node, int pos) in zero_out_node_coef()
4506 static __isl_give isl_vec *non_empty_solution(__isl_keep isl_tab_lexmin *tl) in non_empty_solution()
4585 isl_tab_lexmin *tl; in non_neg_lexmin()