Lines Matching full:product
461 /* Clear an entry in the product, given that there is a "total" number
567 /* Move to the next vertex in the product.
592 /* Add a vertex to the product "bset" combining the currently selected
659 * This means that the number of rays and lines in the product
661 * while the number of vertices is the product
666 * In this case, return a universe dual for the product as well.
681 isl_basic_set *product; in construct_product() local
700 product = isl_basic_set_alloc_space(space, 0, n_line, n_ray + n_vertex); in construct_product()
701 product = isl_basic_set_set_rational(product); in construct_product()
704 product = add_lines(product, &data->factors[i], total); in construct_product()
706 product = add_rays(product, &data->factors[i], total); in construct_product()
710 product = add_vertex(product, data); in construct_product()
713 return product; in construct_product()
718 * valid affine constraints on the product of the factors, ignoring
720 * Note that this product may not be equal to the original basic set,