/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | contains1.cc | 37 bool bs = ps1.strictly_contains(ps2); in test01() 38 bool cs = ps2.strictly_contains(ps1); in test01() 43 bool bs1 = ps1.strictly_contains(ps2); in test01() 44 bool cs1 = !ps2.strictly_contains(ps1); in test01() 49 bool bs2 = !ps1.strictly_contains(ps2); in test01() 50 bool cs2 = !ps2.strictly_contains(ps1); in test01() 88 && c_ps.strictly_contains(c_ps1) in test02() 89 && !c_ps1.strictly_contains(c_ps); in test02() 98 && !c_ps.strictly_contains(c_ps1) in test02() 99 && !c_ps1.strictly_contains(c_ps); in test02()
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | contains1.cc | 79 bool ok1 = prp1.strictly_contains(prp2); in test02() 84 bool ok2 = prp1.strictly_contains(prp2); in test02() 88 bool ok3 = !prp1.strictly_contains(prp2); in test02()
|
H A D | smashproduct1.cc | 290 bool smash_ok1 = sp1.contains(sp2) && sp1.strictly_contains(sp2); in test11() 307 bool smash_ok2 = sp3.contains(sp4) && sp3.strictly_contains(sp4); in test11() 323 bool smash_ok3 = sp5.contains(sp6) && !sp5.strictly_contains(sp6); in test11()
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | contains2.cc | 118 bool ok = ph1.strictly_contains(ph2); in test04() 160 bool ok = ph1.strictly_contains(ph2); in test06()
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | interval1.cc | 84 && z.strictly_contains(x) in test01()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Partially_Reduced_Product_inlines.hh | 662 ::strictly_contains(const Partially_Reduced_Product& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Partially_Reduced_Product 665 return (d1.contains(y.d1) && d2.strictly_contains(y.d2)) in strictly_contains() 666 || (d2.contains(y.d2) && d1.strictly_contains(y.d1)); in strictly_contains()
|
H A D | Grid_inlines.hh | 371 Grid::strictly_contains(const Grid& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Grid
|
H A D | Polyhedron_inlines.hh | 436 Polyhedron::strictly_contains(const Polyhedron& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Polyhedron
|
H A D | Pointset_Powerset_defs.hh | 506 bool strictly_contains(const Pointset_Powerset& y) const;
|
H A D | Partially_Reduced_Product_defs.hh | 914 bool strictly_contains(const Partially_Reduced_Product& y) const;
|
H A D | Pointset_Powerset_templates.hh | 806 Pointset_Powerset<PSET>::strictly_contains(const Pointset_Powerset& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Pointset_Powerset 820 if (pj.strictly_contains(pi)) { in strictly_contains() 1527 if (bgp99_heuristics_hull.strictly_contains(y_hull)) { in BHZ03_widening_assign()
|
H A D | Grid_defs.hh | 915 bool strictly_contains(const Grid& y) const;
|
H A D | Polyhedron_defs.hh | 810 bool strictly_contains(const Polyhedron& y) const;
|
H A D | Box_defs.hh | 737 bool strictly_contains(const Box& y) const;
|
H A D | Octagonal_Shape_defs.hh | 647 bool strictly_contains(const Octagonal_Shape& y) const;
|
H A D | Box_inlines.hh | 233 Box<ITV>::strictly_contains(const Box& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Box
|
H A D | BD_Shape_defs.hh | 806 bool strictly_contains(const BD_Shape& y) const;
|
H A D | Interval_defs.hh | 607 strictly_contains(const T& y) const;
|
H A D | BD_Shape_inlines.hh | 745 BD_Shape<T>::strictly_contains(const BD_Shape& y) const { in strictly_contains() function in Parma_Polyhedra_Library::BD_Shape
|
H A D | Octagonal_Shape_inlines.hh | 639 Octagonal_Shape<T>::strictly_contains(const Octagonal_Shape& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Octagonal_Shape
|
H A D | Interval_inlines.hh | 210 Interval<Boundary, Info>::strictly_contains(const T& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Interval
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 286 public native boolean strictly_contains(Polyhedron y); in strictly_contains() method in Polyhedron
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | contains1.cc | 257 bool strictly_contained = oc1.strictly_contains(oc2); in test08()
|
/dports/devel/ppl/ppl-1.2/interfaces/ |
H A D | ppl_interface_generator_common_dat.m4 | 965 `contains, strictly_contains, is_disjoint_from')
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/ |
H A D | ppl_interface_generator_prolog_generated_test_pl_code.m4 | 65 ppl_@CLASS@_comparison_check(strictly_contains, PS1, PS2, Result) :-
|