Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_defs.hh2071 void deduce_v_pm_u_bounds(dimension_type v_id,
H A DOctagonal_Shape_templates.hh4182 ::deduce_v_pm_u_bounds(const dimension_type v_id, in deduce_v_pm_u_bounds() function in Parma_Polyhedra_Library::Octagonal_Shape
4828 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, sum); in refine()
4981 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, sum); in refine()
5439 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, pos_sum); in affine_image()
6376 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, sum); in generalized_affine_image()
H A Dppl.hh.dist69344 void deduce_v_pm_u_bounds(dimension_type v_id,
75236 ::deduce_v_pm_u_bounds(const dimension_type v_id,
75882 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, sum);
76035 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, sum);
76493 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, pos_sum);
77430 deduce_v_pm_u_bounds(var_id, w_id, sc_expr, sc_denom, sum);
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200844429 comments in Octagonal_Shape<T>::deduce_v_pm_u_bounds().
44442 Octagonal_Shape<T>::deduce_v_pm_u_bounds() to ensure that `ub_v'
44449 Octagonal_Shape<T>::deduce_v_pm_u_bounds() and in
44456 documentation for void deduce_v_pm_u_bounds() and void
44462 comments in Octagonal_Shape<T>::deduce_v_pm_u_bounds().
44471 Octagonal_Shape<T>::deduce_v_pm_u_bounds() to improve
44507 relations rewritten and reorganized: - deduce_v_pm_u_bounds()