• Home
  • Raw
  • Download

Lines Matching refs:bset

357 	__isl_take isl_basic_set *bset,  in bernstein_coefficients_base()  argument
367 nvar = isl_basic_set_dim(bset, isl_dim_set); in bernstein_coefficients_base()
369 bset = isl_basic_set_free(bset); in bernstein_coefficients_base()
375 dom = isl_set_from_basic_set(bset); in bernstein_coefficients_base()
386 dom = isl_set_from_basic_set(bset); in bernstein_coefficients_base()
393 space = isl_basic_set_get_space(bset); in bernstein_coefficients_base()
401 vertices = isl_basic_set_compute_vertices(bset); in bernstein_coefficients_base()
408 isl_basic_set_free(bset); in bernstein_coefficients_base()
471 __isl_take isl_basic_set *bset, in bernstein_coefficients_factors() argument
480 f = isl_basic_set_factorizer(bset); in bernstein_coefficients_factors()
485 return bernstein_coefficients_base(bset, poly, data, tight); in bernstein_coefficients_factors()
488 set = isl_set_from_basic_set(bset); in bernstein_coefficients_factors()
499 isl_basic_set_free(bset); in bernstein_coefficients_factors()
505 __isl_take isl_basic_set *bset, in bernstein_coefficients_full_recursive() argument
516 nvar = isl_basic_set_dim(bset, isl_dim_set); in bernstein_coefficients_full_recursive()
520 len = isl_alloc_array(bset->ctx, int, nvar); in bernstein_coefficients_full_recursive()
527 set = isl_set_from_basic_set(bset); in bernstein_coefficients_full_recursive()
536 isl_basic_set_free(bset); in bernstein_coefficients_full_recursive()
553 __isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, in isl_qpolynomial_bound_on_domain_bernstein() argument
562 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_qpolynomial_bound_on_domain_bernstein()
569 if (bset->ctx->opt->bernstein_recurse & ISL_BERNSTEIN_FACTORS) in isl_qpolynomial_bound_on_domain_bernstein()
570 pwf = bernstein_coefficients_factors(bset, poly, &data, tp); in isl_qpolynomial_bound_on_domain_bernstein()
572 (bset->ctx->opt->bernstein_recurse & ISL_BERNSTEIN_INTERVALS)) in isl_qpolynomial_bound_on_domain_bernstein()
573 pwf = bernstein_coefficients_full_recursive(bset, poly, &data, tp); in isl_qpolynomial_bound_on_domain_bernstein()
575 pwf = bernstein_coefficients_base(bset, poly, &data, tp); in isl_qpolynomial_bound_on_domain_bernstein()
584 isl_basic_set_free(bset); in isl_qpolynomial_bound_on_domain_bernstein()