Home
last modified time | relevance | path

Searched refs:contains_integer_point (Results 1 – 25 of 28) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dcontainsintegerpoint1.cc34 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 Dcontainsintegerpoint1.cc44 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 Dinterval1.cc89 && !x.contains_integer_point(); in test01()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dcontainsintegerpoint1.cc44 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 Dweightwatch1.cc106 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 Dcontainsintegerpoint1.cc43 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 Dcontainsintegerpoint1.cc44 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 Dcontainsintegerpoint1.cc45 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 Dppl_prolog_generated_test_common.pl273 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 DFake_Class_for_Doxygen.java94 public native boolean contains_integer_point(); in contains_integer_point() method in Polyhedron
/dports/devel/ppl/ppl-1.2/src/
H A DPointset_Powerset_defs.hh512 bool contains_integer_point() const;
H A DGrid_defs.hh708 bool contains_integer_point() const;
H A DPolyhedron_defs.hh617 bool contains_integer_point() const;
H A DBox_defs.hh523 bool contains_integer_point() const;
H A DOctagonal_Shape_defs.hh706 bool contains_integer_point() const;
H A DBD_Shape_defs.hh859 bool contains_integer_point() const;
H A DInterval_defs.hh418 bool contains_integer_point() const { in contains_integer_point() function in Parma_Polyhedra_Library::Interval
H A DPointset_Powerset_templates.hh1190 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 DGrid_public.cc861 PPL::Grid::contains_integer_point() const { in contains_integer_point() function in PPL::Grid
H A DBox_templates.hh1522 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 DPolyhedron_public.cc598 PPL::Polyhedron::contains_integer_point() const { in contains_integer_point() function in PPL::Polyhedron
H A DBD_Shape_templates.hh782 BD_Shape<T>::contains_integer_point() const { in contains_integer_point() function in Parma_Polyhedra_Library::BD_Shape
H A DOctagonal_Shape_templates.hh1345 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 Dppl_interface_generator_common_dat.m4897 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 DNEWS536 bool Polyhedron::contains_integer_point() const;
739 bool contains_integer_point() const

12