Home
last modified time | relevance | path

Searched refs:deduce_minus_v_pm_u_bounds (Results 1 – 4 of 4) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_defs.hh2105 void deduce_minus_v_pm_u_bounds(dimension_type v_id,
H A DOctagonal_Shape_templates.hh4301 ::deduce_minus_v_pm_u_bounds(const dimension_type v_id, in deduce_minus_v_pm_u_bounds() function in Parma_Polyhedra_Library::Octagonal_Shape
4880 deduce_minus_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, in refine()
5075 deduce_minus_v_pm_u_bounds(var_id, pinf_index, sc_expr, sc_denom, in refine()
5489 deduce_minus_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, neg_sum); in affine_image()
6479 deduce_minus_v_pm_u_bounds(var_id, pinf_index, sc_expr, sc_denom, sum); in generalized_affine_image()
6985 deduce_minus_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, neg_sum); in bounded_affine_image()
H A Dppl.hh.dist69378 void deduce_minus_v_pm_u_bounds(dimension_type v_id,
75355 ::deduce_minus_v_pm_u_bounds(const dimension_type v_id,
75934 deduce_minus_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom,
76129 deduce_minus_v_pm_u_bounds(var_id, pinf_index, sc_expr, sc_denom,
76543 deduce_minus_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, neg_sum);
77533 deduce_minus_v_pm_u_bounds(var_id, pinf_index, sc_expr, sc_denom, sum);
78039 deduce_minus_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, neg_sum);
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200844424 comments in Octagonal_Shape<T>::deduce_minus_v_pm_u_bounds().
44435 Octagonal_Shape<T>::deduce_minus_v_pm_u_bounds() to ensure that
44450 Octagonal_Shape<T>::deduce_minus_v_pm_u_bounds(). `sc_den' is
44457 deduce_minus_v_pm_u_bounds().
44464 Octagonal_Shape<T>::deduce_minus_v_pm_u_bounds() to improve
44477 bugs in Octagonal_Shape<T>::deduce_minus_v_pm_u_bounds().
44511 similarly done for deduce_minus_v_pm_u_bounds(); - pos_sum and