Home
last modified time | relevance | path

Searched refs:strictly_contains (Results 1 – 25 of 29) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Dcontains1.cc37 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 Dcontains1.cc79 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 Dsmashproduct1.cc290 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 Dcontains2.cc118 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 Dinterval1.cc84 && z.strictly_contains(x) in test01()
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_inlines.hh662 ::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 DGrid_inlines.hh371 Grid::strictly_contains(const Grid& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Grid
H A DPolyhedron_inlines.hh436 Polyhedron::strictly_contains(const Polyhedron& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Polyhedron
H A DPointset_Powerset_defs.hh506 bool strictly_contains(const Pointset_Powerset& y) const;
H A DPartially_Reduced_Product_defs.hh914 bool strictly_contains(const Partially_Reduced_Product& y) const;
H A DPointset_Powerset_templates.hh806 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 DGrid_defs.hh915 bool strictly_contains(const Grid& y) const;
H A DPolyhedron_defs.hh810 bool strictly_contains(const Polyhedron& y) const;
H A DBox_defs.hh737 bool strictly_contains(const Box& y) const;
H A DOctagonal_Shape_defs.hh647 bool strictly_contains(const Octagonal_Shape& y) const;
H A DBox_inlines.hh233 Box<ITV>::strictly_contains(const Box& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Box
H A DBD_Shape_defs.hh806 bool strictly_contains(const BD_Shape& y) const;
H A DInterval_defs.hh607 strictly_contains(const T& y) const;
H A DBD_Shape_inlines.hh745 BD_Shape<T>::strictly_contains(const BD_Shape& y) const { in strictly_contains() function in Parma_Polyhedra_Library::BD_Shape
H A DOctagonal_Shape_inlines.hh639 Octagonal_Shape<T>::strictly_contains(const Octagonal_Shape& y) const { in strictly_contains() function in Parma_Polyhedra_Library::Octagonal_Shape
H A DInterval_inlines.hh210 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 DFake_Class_for_Doxygen.java286 public native boolean strictly_contains(Polyhedron y); in strictly_contains() method in Polyhedron
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dcontains1.cc257 bool strictly_contained = oc1.strictly_contains(oc2); in test08()
/dports/devel/ppl/ppl-1.2/interfaces/
H A Dppl_interface_generator_common_dat.m4965 `contains, strictly_contains, is_disjoint_from')
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/
H A Dppl_interface_generator_prolog_generated_test_pl_code.m465 ppl_@CLASS@_comparison_check(strictly_contains, PS1, PS2, Result) :-

12