Home
last modified time | relevance | path

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

12

/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5553 struct isl_tab_lexmin { struct
5560 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5575 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5579 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5585 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5603 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5612 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5637 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5638 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5652 __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.c4669 static __isl_give isl_tab_lexmin *zero_out_node_coef( in zero_out_node_coef()
4670 __isl_take isl_tab_lexmin *tl, struct isl_sched_node *node, int pos) in zero_out_node_coef()
4698 static __isl_give isl_vec *non_empty_solution(__isl_keep isl_tab_lexmin *tl) in non_empty_solution()
4777 isl_tab_lexmin *tl; in non_neg_lexmin()
/dports/math/barvinok/barvinok-0.41.5/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __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.c4676 static __isl_give isl_tab_lexmin *zero_out_node_coef( in zero_out_node_coef()
4677 __isl_take isl_tab_lexmin *tl, struct isl_sched_node *node, int pos) in zero_out_node_coef()
4705 static __isl_give isl_vec *non_empty_solution(__isl_keep isl_tab_lexmin *tl) in non_empty_solution()
4784 isl_tab_lexmin *tl; in non_neg_lexmin()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __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.c4676 static __isl_give isl_tab_lexmin *zero_out_node_coef( in zero_out_node_coef()
4677 __isl_take isl_tab_lexmin *tl, struct isl_sched_node *node, int pos) in zero_out_node_coef()
4705 static __isl_give isl_vec *non_empty_solution(__isl_keep isl_tab_lexmin *tl) in non_empty_solution()
4784 isl_tab_lexmin *tl; in non_neg_lexmin()
/dports/devel/isl/isl-0.24/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
/dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5553 struct isl_tab_lexmin { struct
5560 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5575 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5579 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5585 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5603 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5612 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5637 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5638 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5652 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5508 struct isl_tab_lexmin { struct
5515 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5530 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5534 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5540 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5558 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5567 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5592 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5593 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5607 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()
/dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/
H A Disl_tab.h278 struct isl_tab_lexmin;
279 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef
281 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set(
283 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl);
284 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl,
286 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer(
287 __isl_take isl_tab_lexmin *tl);
288 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
289 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl);
H A Disl_tab_pip.c5554 struct isl_tab_lexmin { struct
5561 __isl_null isl_tab_lexmin *isl_tab_lexmin_free(__isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_free() argument
5576 __isl_give isl_tab_lexmin *isl_tab_lexmin_from_basic_set( in isl_tab_lexmin_from_basic_set()
5580 isl_tab_lexmin *tl; in isl_tab_lexmin_from_basic_set()
5586 tl = isl_calloc_type(ctx, struct isl_tab_lexmin); in isl_tab_lexmin_from_basic_set()
5604 int isl_tab_lexmin_dim(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_dim()
5613 __isl_give isl_tab_lexmin *isl_tab_lexmin_add_eq(__isl_take isl_tab_lexmin *tl, in isl_tab_lexmin_add_eq()
5638 __isl_give isl_tab_lexmin *isl_tab_lexmin_cut_to_integer( in isl_tab_lexmin_cut_to_integer()
5639 __isl_take isl_tab_lexmin *tl) in isl_tab_lexmin_cut_to_integer()
5653 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl) in isl_tab_lexmin_get_solution()

12