Home
last modified time | relevance | path

Searched refs:x_k_v (Results 1 – 3 of 3) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_templates.hh1966 const N& x_k_v = x_k[v]; in incremental_shortest_path_closure_assign() local
1968 const bool x_k_v_finite = !is_plus_infinity(x_k_v); in incremental_shortest_path_closure_assign()
1977 add_assign_r(sum, x_i_k, x_k_v, ROUND_UP); in incremental_shortest_path_closure_assign()
2004 add_assign_r(sum, x_i_k, x_k_v, ROUND_UP); in incremental_shortest_path_closure_assign()
H A DOctagonal_Shape_templates.hh2834 const N& x_k_v = (v < rs_k) ? x_k[v] : x_cv[ck]; in incremental_strong_closure_assign() local
2835 if (!is_plus_infinity(x_k_v)) { in incremental_strong_closure_assign()
2836 add_assign_r(sum, x_i_k, x_k_v, ROUND_UP); in incremental_strong_closure_assign()
H A Dppl.hh.dist73888 const N& x_k_v = (v < rs_k) ? x_k[v] : x_cv[ck];
73889 if (!is_plus_infinity(x_k_v)) {
73890 add_assign_r(sum, x_i_k, x_k_v, ROUND_UP);
82513 const N& x_k_v = x_k[v];
82515 const bool x_k_v_finite = !is_plus_infinity(x_k_v);
82519 // Here both x_v_k and x_k_v are finite.
82524 add_assign_r(sum, x_i_k, x_k_v, ROUND_UP);
82535 // Here x_v_k is finite, but x_k_v is not.
82546 // Here x_v_k is infinite, but x_k_v is finite.
82551 add_assign_r(sum, x_i_k, x_k_v, ROUND_UP);
[all …]