HomeSort by: relevance | last modified time | path
    Searched defs:isl_tab_lexmin (Results 1 - 2 of 2) sorted by relevancy

  /src/external/mit/isl/dist/
isl_tab.h 279 struct isl_tab_lexmin;
280 typedef struct isl_tab_lexmin isl_tab_lexmin; typedef in typeref:struct:isl_tab_lexmin
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)
    [all...]
isl_tab_pip.c 5580 struct isl_tab_lexmin { struct
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
    [all...]

Completed in 18 milliseconds