Home
last modified time | relevance | path

Searched refs:widening_assign (Results 1 – 25 of 27) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dwidening3.cc44 gr2.widening_assign(gr1); in test01()
70 gr2.widening_assign(gr1); in test02()
90 gr2.widening_assign(gr1); in test03()
126 gr2.widening_assign(gr1); in test04()
161 gr2.widening_assign(gr1); in test05()
196 gr2.widening_assign(gr1); in test06()
229 gr2.widening_assign(gr1); in test07()
259 gr2.widening_assign(gr1, &tokens); in test08()
291 gr2.widening_assign(gr1); in test09()
H A Dbhz03widening1.cc56 (grs1, widen_fun_ref(&Grid::widening_assign)); in test01()
96 (grs1, widen_fun_ref(&Grid::widening_assign)); in test02()
/dports/devel/ppl/ppl-1.2/src/
H A DGrid_widenings.cc180 x.widening_assign(y, tp); in limited_congruence_extrapolation_assign()
441 PPL::Grid::widening_assign(const Grid& y, unsigned* tp) { in widening_assign() function in PPL::Grid
491 x.widening_assign(y, tp); in limited_extrapolation_assign()
531 x.widening_assign(y, tp); in limited_extrapolation_assign()
536 x.widening_assign(y, tp); in limited_extrapolation_assign()
H A DPartially_Reduced_Product_inlines.hh568 ::widening_assign(const Partially_Reduced_Product& y, in widening_assign() function in Parma_Polyhedra_Library::Partially_Reduced_Product
577 d1.widening_assign(y.d1, tp); in widening_assign()
578 d2.widening_assign(y.d2, tp); in widening_assign()
H A DPolyhedron_inlines.hh91 Polyhedron::widening_assign(const Polyhedron& y, unsigned* tp) { in widening_assign() function in Parma_Polyhedra_Library::Polyhedron
H A DPartially_Reduced_Product_defs.hh1364 void widening_assign(const Partially_Reduced_Product& y,
H A DGrid_defs.hh1654 void widening_assign(const Grid& y, unsigned* tp = NULL);
H A DPolyhedron_defs.hh1744 void widening_assign(const Polyhedron& y, unsigned* tp = 0);
H A DBox_defs.hh1381 void widening_assign(const Box& y, unsigned* tp = 0);
H A DOctagonal_Shape_defs.hh1591 void widening_assign(const Octagonal_Shape& y, unsigned* tp = 0);
H A DBox_inlines.hh387 Box<T>::widening_assign(const Box& y, unsigned* tp) { in widening_assign() function in Parma_Polyhedra_Library::Box
H A DBD_Shape_defs.hh1687 void widening_assign(const BD_Shape& y, unsigned* tp = 0);
H A DBD_Shape_inlines.hh862 BD_Shape<T>::widening_assign(const BD_Shape& y, unsigned* tp) { in widening_assign() function in Parma_Polyhedra_Library::BD_Shape
H A DOctagonal_Shape_inlines.hh598 Octagonal_Shape<T>::widening_assign(const Octagonal_Shape& y, unsigned* tp) { in widening_assign() function in Parma_Polyhedra_Library::Octagonal_Shape
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Dcc76widening.cc70 box1.widening_assign(box2); in test02()
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java740 public native void widening_assign(Polyhedron y, in widening_assign() method in Polyhedron
H A Dppl_interface_generator_java_classes_java_code.m4468 public native void widening_assign(@CLASS@ y,
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Dsmashproduct1.cc623 sp.widening_assign(sp_prev); in test18()
/dports/devel/ppl/ppl-1.2/interfaces/Java/tests/
H A Dppl_interface_generator_java_test_java_code.m4639 PPL_Test.print_if_noisy("Testing widening_assign: ");
642 gd1.widening_assign(gd2, int_by_ref1);
/dports/devel/ppl/ppl-1.2/interfaces/Java/jni/
H A Dppl_interface_generator_java_classes_cc_code.m4982 this_ptr->widening_assign(*y_ptr);
987 this_ptr->widening_assign(*y_ptr, &tokens);
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/
H A Dppl_interface_generator_ocaml_cc_code.m4690 pph1.widening_assign(pph2);
707 pph1.widening_assign(pph2, &u_tokens);
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_interface_generator_prolog_cc_code.m41575 lhs->widening_assign(*rhs, &t);
1594 lhs->widening_assign(*rhs, 0);
/dports/devel/ppl/ppl-1.2/interfaces/C/
H A Dppl_interface_generator_c_cc_code.m4692 xx.widening_assign(yy, tp);
/dports/devel/ppl/ppl-1.2/
H A DNEWS708 void widening_assign(const ABSTRACTION&, unsigned*)
1967 o The methods Polyhedron::widening_assign() and
H A DChangeLog_2001-20088226 widening_assign @EXTRAPOLATION@_extrapolation_assign
20465 widening_assign
40703 Add widening_assign(ph, tp) which is equivalent to
40750 widening_assign(dp).
45761 The new `widening_assign()' uses either of the above two
49178 method widening_assign.
63463 widening_assign and select_wider_congruences.
89244 in Polyhedron::widening_assign().
89249 in Polyhedron::widening_assign().
90013 Polyhedron::widening_assign() with empty polyhedra.
[all …]

12