Lines Matching defs:isl_tab_lexmin
5580 struct isl_tab_lexmin {
5587 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl)
5598 /* Construct an isl_tab_lexmin for computing
5602 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
5606 isl_tab_lexmin *tl;
5612 tl = isl_calloc_type(ctx, struct isl_tab_lexmin);
5630 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl)
5639 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
5664 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
5665 __isl_take isl_tab_lexmin *tl)
5679 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl)
Indexes created Thu Jul 02 00:25:40 UTC 2026