Searched refs:c_space_dim (Results 1 – 9 of 9) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape.cc | 35 const dimension_type c_space_dim, in extract_octagonal_difference() argument 42 PPL_ASSERT(c.space_dimension() == c_space_dim); in extract_octagonal_difference() 45 c_first_var = c.expression().first_nonzero(1, c_space_dim + 1); in extract_octagonal_difference() 47 if (c_first_var == c_space_dim + 1) { in extract_octagonal_difference() 55 c_second_var = c.expression().first_nonzero(c_first_var + 2, c_space_dim + 1); in extract_octagonal_difference() 57 if (c_second_var == c_space_dim + 1) { in extract_octagonal_difference() 76 if (!c.expression().all_zeroes(c_second_var + 2, c_space_dim + 1)) { in extract_octagonal_difference()
|
H A D | Box_inlines.hh | 320 const dimension_type c_space_dim = c.space_dimension(); in add_constraint() local 322 if (c_space_dim > space_dimension()) { in add_constraint() 460 const dimension_type c_space_dim = c.space_dimension(); in refine_with_constraint() local 462 if (c_space_dim > space_dimension()) { in refine_with_constraint() 523 const dimension_type c_space_dim = c.space_dimension(); in propagate_constraint() local 525 if (c_space_dim > space_dimension()) { in propagate_constraint()
|
H A D | PIP_Problem.cc | 145 const dimension_type c_space_dim = c.space_dimension(); in solve() local 146 PPL_ASSERT(external_space_dim >= c_space_dim); in solve() 150 if (!c.expression().all_zeroes_except(parameters, 1, c_space_dim + 1)) { in solve() 185 if (*pi < c_space_dim) { in solve()
|
H A D | Box_templates.hh | 921 const dimension_type c_space_dim = c.space_dimension(); in relation_with() local 925 if (c_space_dim > space_dim) { in relation_with() 2590 const dimension_type c_space_dim = c.space_dimension(); in propagate_constraint_no_check() local 2596 = c.expression().last_nonzero(1, c_space_dim + 1); in propagate_constraint_no_check() 2597 if (last_k == c_space_dim + 1) { in propagate_constraint_no_check() 2608 PPL_ASSERT(last_k <= c_space_dim); in propagate_constraint_no_check() 2971 dimension_type c_space_dim = c.space_dimension(); in propagate_constraint_no_check() local 2972 ITV k[c_space_dim]; in propagate_constraint_no_check() 2973 ITV p[c_space_dim]; in propagate_constraint_no_check() 2975 i_end = c_e.lower_bound(Variable(c_space_dim)); i != i_end; ++i) { in propagate_constraint_no_check() [all …]
|
H A D | BD_Shape_inlines.hh | 196 const dimension_type c_space_dim = c.space_dimension(); in refine_with_constraint() local 198 if (c_space_dim > space_dimension()) { in refine_with_constraint()
|
H A D | Octagonal_Shape_defs.hh | 305 dimension_type c_space_dim,
|
H A D | Octagonal_Shape_templates.hh | 407 const dimension_type c_space_dim = c.space_dimension(); in add_constraint() local 409 if (c_space_dim > space_dim) { in add_constraint() 433 ::extract_octagonal_difference(c, c_space_dim, num_vars, in add_constraint() 941 const dimension_type c_space_dim = c.space_dimension(); in refine_no_check() local 942 PPL_ASSERT(c_space_dim <= space_dim); in refine_no_check() 951 ::extract_octagonal_difference(c, c_space_dim, num_vars, in refine_no_check() 1972 dimension_type c_space_dim = c.space_dimension(); in relation_with() local 1975 if (c_space_dim > space_dim) { in relation_with() 2020 ::extract_octagonal_difference(c, c_space_dim, num_vars, in relation_with() 2031 1, c_space_dim + 1); in relation_with()
|
H A D | BD_Shape_templates.hh | 1495 const dimension_type c_space_dim = c.space_dimension(); in relation_with() local 1499 if (c_space_dim > space_dim) { in relation_with()
|
H A D | ppl.hh.dist | 45357 if (c_space_dim > space_dimension()) { 67457 \param c_space_dim 71463 if (c_space_dim > space_dim) { 71996 PPL_ASSERT(c_space_dim <= space_dim); 73029 if (c_space_dim > space_dim) { 82046 if (c_space_dim > space_dim) { 88544 if (c_space_dim > space_dim) { 90216 if (last_k == c_space_dim + 1) { 90227 PPL_ASSERT(last_k <= c_space_dim); 90591 ITV k[c_space_dim]; [all …]
|