Home
last modified time | relevance | path

Searched refs:c_space_dim (Results 1 – 9 of 9) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape.cc35 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 DBox_inlines.hh320 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 DPIP_Problem.cc145 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 DBox_templates.hh921 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 DBD_Shape_inlines.hh196 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 DOctagonal_Shape_defs.hh305 dimension_type c_space_dim,
H A DOctagonal_Shape_templates.hh407 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 DBD_Shape_templates.hh1495 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 Dppl.hh.dist45357 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 …]