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

  /src/external/mit/isl/dist/
isl_convex_hull.c 745 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
753 if (dim < 0 || !bset2)
757 1 + dim + bset1->n_eq + bset2->n_eq,
758 2 + bset1->n_ineq + bset2->n_ineq);
760 bset[1] = bset2;
799 isl_basic_set_free(bset2);
803 isl_basic_set_free(bset2);
865 /* Compute the lineality space of the convex hull of bset1 and bset2.
868 * with the negative of the recession cone of bset2 and then compute
872 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
1438 isl_basic_set *bset1, *bset2; local
    [all...]
isl_test.c 550 isl_basic_set *bset1, *bset2; local
560 bset2 = isl_basic_set_read_from_str(ctx, str);
562 equal = isl_basic_set_is_equal(bset1, bset2);
565 isl_basic_set_free(bset2);
655 isl_basic_set *bset1, *bset2; local
664 bset2 = isl_basic_set_read_from_str(ctx, "{ [x] : -100 <= x <= 100 }");
665 equal = isl_basic_set_is_equal(bset1, bset2);
667 isl_basic_set_free(bset2);
1296 struct isl_basic_set *bset1, *bset2; local
1309 bset2 = isl_basic_set_read_from_file(ctx, input)
1332 struct isl_basic_set *bset1, *bset2; local
1400 isl_basic_set *bset, *bset2; local
1624 struct isl_basic_set *bset1, *bset2; local
1965 isl_basic_set *bset1, *bset2; local
2464 isl_basic_set *bset1, *bset2; local
3212 isl_basic_set *bset1, *bset2; local
4353 isl_basic_set *bset1, *bset2; local
8812 isl_basic_set *bset1, *bset2; local
9082 isl_basic_set *bset1, *bset2; local
9186 isl_basic_set *bset1, *bset2; local
10618 isl_basic_set *bset1, *bset2; local
10635 isl_basic_set *bset1, *bset2; local
    [all...]

Completed in 16 milliseconds