/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | containsintegerpoint1.cc | 34 bool ok = (!gr.contains_integer_point()); in test01() 47 bool ok = (!gr.contains_integer_point()); in test02() 59 bool ok = (gr.contains_integer_point()); in test03() 87 bool ok = (gr_gs_min.contains_integer_point()) in test04() 88 && (gr_gs_needs_min.contains_integer_point()) in test04() 126 bool ok = (!gr_gs_min.contains_integer_point()) in test05() 129 && (!gr_cgs_min.contains_integer_point()); in test05() 162 bool ok = (!gr_gs_min.contains_integer_point()) in test06() 197 bool ok = (gr_gs_min.contains_integer_point()) in test07() 231 bool ok = (gr_gs_min.contains_integer_point()) in test08() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | containsintegerpoint1.cc | 44 bool contains = box.contains_integer_point(); in test01() 65 bool contains = box.contains_integer_point(); in test02() 90 bool contains = box.contains_integer_point(); in test03() 111 bool contains = box.contains_integer_point(); in test04() 131 bool contains = box.contains_integer_point(); in test05() 152 bool contains = box.contains_integer_point(); in test06() 166 bool contains = box.contains_integer_point(); in test07() 183 bool contains = box.contains_integer_point(); in test08() 200 bool contains = box.contains_integer_point(); in test09()
|
H A D | interval1.cc | 89 && !x.contains_integer_point(); in test01()
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | containsintegerpoint1.cc | 44 bool contains = ph.contains_integer_point(); in test01() 69 bool contains = ph.contains_integer_point(); in test02() 91 bool contains = ph.contains_integer_point(); in test03() 113 bool contains = ph.contains_integer_point(); in test04() 128 bool contains = ph.contains_integer_point(); in test05() 143 bool contains = ph.contains_integer_point(); in test06() 158 bool contains = ph.contains_integer_point(); in test07()
|
H A D | weightwatch1.cc | 106 const bool contains = ph.contains_integer_point(); in test01() 172 const bool contains = ph.contains_integer_point(); in test02() 210 const bool contains = ph.contains_integer_point(); in test03()
|
/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | containsintegerpoint1.cc | 43 bool contains = ps.contains_integer_point(); in test01() 69 bool contains = ps.contains_integer_point(); in test02() 84 bool contains = ps.contains_integer_point(); in test03() 97 bool contains = ps.contains_integer_point(); in test04() 114 bool contains = ps.contains_integer_point(); in test05()
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | containsintegerpoint1.cc | 44 bool contains = oct.contains_integer_point(); in test01() 68 bool contains = oct.contains_integer_point(); in test02() 93 bool contains = oct.contains_integer_point(); in test03() 121 bool contains = oct.contains_integer_point(); in test04() 148 bool contains = oct.contains_integer_point(); in test05() 182 bool contains = oct.contains_integer_point(); in test06()
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | containsintegerpoint1.cc | 45 bool contains = bds.contains_integer_point(); in test01() 70 bool contains = bds.contains_integer_point(); in test02() 95 bool contains = bds.contains_integer_point(); in test03() 123 bool contains = bds.contains_integer_point(); in test04()
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/ |
H A D | ppl_prolog_generated_test_common.pl | 273 ppl_property_test_data(test02, _, _, contains_integer_point). 310 ppl_property_test_data(test03, _, _, contains_integer_point). 351 ppl_property_test_data(test04, _, _, contains_integer_point). 394 ppl_property_test_data(test05, _, _, contains_integer_point). 450 ppl_property_test_data(test06, _, _, contains_integer_point). 521 ppl_property_test_data(test07, _, _, contains_integer_point). 592 ppl_property_test_data(test08, _, _, contains_integer_point).
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 94 public native boolean contains_integer_point(); in contains_integer_point() method in Polyhedron
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Pointset_Powerset_defs.hh | 512 bool contains_integer_point() const;
|
H A D | Grid_defs.hh | 708 bool contains_integer_point() const;
|
H A D | Polyhedron_defs.hh | 617 bool contains_integer_point() const;
|
H A D | Box_defs.hh | 523 bool contains_integer_point() const;
|
H A D | Octagonal_Shape_defs.hh | 706 bool contains_integer_point() const;
|
H A D | BD_Shape_defs.hh | 859 bool contains_integer_point() const;
|
H A D | Interval_defs.hh | 418 bool contains_integer_point() const { in contains_integer_point() function in Parma_Polyhedra_Library::Interval
|
H A D | Pointset_Powerset_templates.hh | 1190 Pointset_Powerset<PSET>::contains_integer_point() const { in contains_integer_point() function in Parma_Polyhedra_Library::Pointset_Powerset 1194 if (si->pointset().contains_integer_point()) { in contains_integer_point()
|
H A D | Grid_public.cc | 861 PPL::Grid::contains_integer_point() const { in contains_integer_point() function in PPL::Grid
|
H A D | Box_templates.hh | 1522 Box<ITV>::contains_integer_point() const { in contains_integer_point() function in Parma_Polyhedra_Library::Box 1527 if (!seq[k].contains_integer_point()) { in contains_integer_point()
|
H A D | Polyhedron_public.cc | 598 PPL::Polyhedron::contains_integer_point() const { in contains_integer_point() function in PPL::Polyhedron
|
H A D | BD_Shape_templates.hh | 782 BD_Shape<T>::contains_integer_point() const { in contains_integer_point() function in Parma_Polyhedra_Library::BD_Shape
|
H A D | Octagonal_Shape_templates.hh | 1345 Octagonal_Shape<T>::contains_integer_point() const { in contains_integer_point() function in Parma_Polyhedra_Library::Octagonal_Shape
|
/dports/devel/ppl/ppl-1.2/interfaces/ |
H A D | ppl_interface_generator_common_dat.m4 | 897 dnl The check "contains_integer_point" is not available for the 902 is_bounded, contains_integer_point, is_topologically_closed, 905 dnl For products, contains_integer_point is not yet implemented.
|
/dports/devel/ppl/ppl-1.2/ |
H A D | NEWS | 536 bool Polyhedron::contains_integer_point() const; 739 bool contains_integer_point() const
|