HomeSort by: relevance | last modified time | path
    Searched refs:pwf_tight (Results 1 - 4 of 4) sorted by relevancy

  /src/external/mit/isl/dist/
isl_bound.h 17 isl_pw_qpolynomial_fold *pwf_tight; member in struct:isl_bound
isl_bound.c 56 bound->pwf_tight = isl_pw_qpolynomial_fold_fold(bound->pwf_tight, pwf);
76 * store the result in bound->pwf and bound->pwf_tight.
146 top_pwf_tight = bound->pwf_tight;
152 bound->pwf_tight = isl_pw_qpolynomial_fold_zero(space, bound->type);
162 bound->pwf_tight = isl_pw_qpolynomial_fold_morph_domain(
163 bound->pwf_tight, morph);
175 /* Update bound->pwf and bound->pwf_tight with a bound
184 * add the results to bound->pwf and bound->pwf_tight.
224 top_pwf_tight = bound->pwf_tight;
    [all...]
isl_bernstein.c 38 isl_pw_qpolynomial_fold *pwf_tight; member in struct:bernstein_data
344 data->pwf_tight = isl_pw_qpolynomial_fold_fold(data->pwf_tight, pwf);
397 data->pwf_tight = isl_pw_qpolynomial_fold_zero(space, data->type);
409 covers = isl_pw_qpolynomial_fold_covers(data->pwf_tight, data->pwf);
418 return data->pwf_tight;
421 data->pwf = isl_pw_qpolynomial_fold_fold(data->pwf, data->pwf_tight);
425 isl_pw_qpolynomial_fold_free(data->pwf_tight);
541 * in bound->pwf and bound->pwf_tight.
isl_range.c 18 isl_pw_qpolynomial_fold *pwf_tight; member in struct:range_data
62 data_m.pwf_tight = NULL;
265 /* Helper function to add a guarded polynomial to either pwf_tight or pwf,
283 data->pwf_tight = isl_pw_qpolynomial_fold_fold(
284 data->pwf_tight, pwf);
549 data.pwf_tight = bound->pwf_tight;
559 bound->pwf_tight = data.pwf_tight;

Completed in 16 milliseconds