Searched refs:gen_sys_i (Results 1 – 3 of 3) sorted by relevance
570 const Generator& gen_sys_i = gen_sys[i]; in is_topologically_closed() local571 if (gen_sys_i.is_closure_point()) { in is_topologically_closed()775 const Generator& gen_sys_i = gen_sys[i]; in constrains() local776 if (gen_sys_i.is_line_or_ray()) { in constrains()777 const int sign = sgn(gen_sys_i.coefficient(var)); in constrains()779 if (gen_sys_i.expression().all_zeroes(1, var_id) in constrains()782 if (gen_sys_i.is_line()) { in constrains()3775 const Generator& gen_sys_i = gen_sys[i]; in frequency() local3776 Scalar_Products::homogeneous_assign(sp, expr, gen_sys_i); in frequency()3778 if (gen_sys_i.is_line_or_ray()) { in frequency()[all …]
659 const Generator& gen_sys_i = gen_sys[i]; in max_min() local660 Scalar_Products::homogeneous_assign(sp, expr, gen_sys_i); in max_min()662 if (gen_sys_i.is_line_or_ray()) { in max_min()665 && (gen_sys_i.is_line() in max_min()674 PPL_ASSERT(gen_sys_i.is_point() || gen_sys_i.is_closure_point()); in max_min()679 assign_r(candidate.get_den(), gen_sys_i.expr.inhomogeneous_term(), ROUND_NOT_NEEDED); in max_min()681 const bool g_is_point = gen_sys_i.is_point(); in max_min()
28040 * src/Polyhedron_nonpublic.cc (1.74): Use `gen_sys_i' instead of