/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | widening3.cc | 44 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 D | bhz03widening1.cc | 56 (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 D | Grid_widenings.cc | 180 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 D | Partially_Reduced_Product_inlines.hh | 568 ::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 D | Polyhedron_inlines.hh | 91 Polyhedron::widening_assign(const Polyhedron& y, unsigned* tp) { in widening_assign() function in Parma_Polyhedra_Library::Polyhedron
|
H A D | Partially_Reduced_Product_defs.hh | 1364 void widening_assign(const Partially_Reduced_Product& y,
|
H A D | Grid_defs.hh | 1654 void widening_assign(const Grid& y, unsigned* tp = NULL);
|
H A D | Polyhedron_defs.hh | 1744 void widening_assign(const Polyhedron& y, unsigned* tp = 0);
|
H A D | Box_defs.hh | 1381 void widening_assign(const Box& y, unsigned* tp = 0);
|
H A D | Octagonal_Shape_defs.hh | 1591 void widening_assign(const Octagonal_Shape& y, unsigned* tp = 0);
|
H A D | Box_inlines.hh | 387 Box<T>::widening_assign(const Box& y, unsigned* tp) { in widening_assign() function in Parma_Polyhedra_Library::Box
|
H A D | BD_Shape_defs.hh | 1687 void widening_assign(const BD_Shape& y, unsigned* tp = 0);
|
H A D | BD_Shape_inlines.hh | 862 BD_Shape<T>::widening_assign(const BD_Shape& y, unsigned* tp) { in widening_assign() function in Parma_Polyhedra_Library::BD_Shape
|
H A D | Octagonal_Shape_inlines.hh | 598 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 D | cc76widening.cc | 70 box1.widening_assign(box2); in test02()
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 740 public native void widening_assign(Polyhedron y, in widening_assign() method in Polyhedron
|
H A D | ppl_interface_generator_java_classes_java_code.m4 | 468 public native void widening_assign(@CLASS@ y,
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | smashproduct1.cc | 623 sp.widening_assign(sp_prev); in test18()
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/tests/ |
H A D | ppl_interface_generator_java_test_java_code.m4 | 639 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 D | ppl_interface_generator_java_classes_cc_code.m4 | 982 this_ptr->widening_assign(*y_ptr); 987 this_ptr->widening_assign(*y_ptr, &tokens);
|
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/ |
H A D | ppl_interface_generator_ocaml_cc_code.m4 | 690 pph1.widening_assign(pph2); 707 pph1.widening_assign(pph2, &u_tokens);
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/ |
H A D | ppl_interface_generator_prolog_cc_code.m4 | 1575 lhs->widening_assign(*rhs, &t); 1594 lhs->widening_assign(*rhs, 0);
|
/dports/devel/ppl/ppl-1.2/interfaces/C/ |
H A D | ppl_interface_generator_c_cc_code.m4 | 692 xx.widening_assign(yy, tp);
|
/dports/devel/ppl/ppl-1.2/ |
H A D | NEWS | 708 void widening_assign(const ABSTRACTION&, unsigned*) 1967 o The methods Polyhedron::widening_assign() and
|
H A D | ChangeLog_2001-2008 | 8226 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 …]
|