HomeSort by: relevance | last modified time | path
    Searched defs:bset1 (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)
752 dim = isl_basic_set_dim(bset1, isl_dim_set);
756 hull = isl_basic_set_alloc(bset1->ctx, 0, 2 + 3 * dim, 0,
757 1 + dim + bset1->n_eq + bset2->n_eq,
758 2 + bset1->n_ineq + bset2->n_ineq);
759 bset[0] = bset1;
798 isl_basic_set_free(bset1);
802 isl_basic_set_free(bset1);
865 /* Compute the lineality space of the convex hull of bset1 and bset2.
867 * We first compute the intersection of the recession cone of bset1
1438 isl_basic_set *bset1, *bset2; local
    [all...]
isl_test.c 550 isl_basic_set *bset1, *bset2; local
559 bset1 = isl_basic_set_read_from_file(ctx, input);
562 equal = isl_basic_set_is_equal(bset1, bset2);
564 isl_basic_set_free(bset1);
655 isl_basic_set *bset1, *bset2; local
659 bset1 = isl_basic_set_universe(space);
660 bset1 = isl_basic_set_upper_bound_val(bset1, isl_dim_set, 0,
662 bset1 = isl_basic_set_lower_bound_val(bset1, isl_dim_set, 0
1296 struct isl_basic_set *bset1, *bset2; local
1332 struct isl_basic_set *bset1, *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 21 milliseconds