Home
last modified time | relevance | path

Searched refs:refine_with_congruences (Results 1 – 25 of 34) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Drefinewithcongruences1.cc44 ph.refine_with_congruences(cgs); in test01()
67 ph.refine_with_congruences(cgs2); in test02()
109 ph.refine_with_congruences(cgs); in test04()
131 ph.refine_with_congruences(cgs); in test05()
160 ph.refine_with_congruences(cgs); in test06()
186 ph1.refine_with_congruences(cgs); in test07()
211 ph1.refine_with_congruences(cgs); in test08()
237 ph1.refine_with_congruences(cgs); in test09()
262 ph1.refine_with_congruences(cgs); in test10()
288 ph1.refine_with_congruences(cgs); in test11()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Drefinewithcongruences1.cc56 box.refine_with_congruences(cgs); in test02()
81 box.refine_with_congruences(cgs); in test03()
101 box.refine_with_congruences(cgs); in test04()
126 box.refine_with_congruences(cgs); in test05()
155 box.refine_with_congruences(cgs); in test06()
201 box.refine_with_congruences(cgs); in test08()
228 box.refine_with_congruences(cgs); in test09()
256 box.refine_with_congruences(cgs); in test10()
337 box.refine_with_congruences(cgs); in test14()
H A Dcongruences1.cc151 box.refine_with_congruences(cgs); in test06()
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Drefinewithcongruences1.cc87 prp.refine_with_congruences(cgs); in test03()
90 gr.refine_with_congruences(cgs); in test03()
152 dp.refine_with_congruences(cgs); in test06()
181 prp.refine_with_congruences(cgs); in test07()
210 prp.refine_with_congruences(cgs); in test08()
238 prp.refine_with_congruences(cgs); in test09()
H A Dconstraintsproduct1.cc380 ab1.refine_with_congruences(cgs);
384 box1.refine_with_congruences(cgs);
388 affs1.refine_with_congruences(cgs);
392 gb1.refine_with_congruences(cgs);
437 known_gb.refine_with_congruences(cgs);
484 ab1.refine_with_congruences(cgs);
486 box1.refine_with_congruences(cgs);
488 affs1.refine_with_congruences(cgs);
490 gb1.refine_with_congruences(cgs);
523 known_gb.refine_with_congruences(cgs);
H A Dfromproduct1.cc117 src.refine_with_congruences(cgs); in test04()
147 src.refine_with_congruences(cgs); in test05()
H A Dgeneralizedaffineimage1.cc181 prp.refine_with_congruences(cs); in test06()
H A Dbounds1.cc567 src.refine_with_congruences(cgs); in test20()
597 src.refine_with_congruences(cgs); in test21()
H A Drefinewithconstraints1.cc311 prp.refine_with_congruences(cgs1); in test11()
H A Dsmashproduct1.cc193 sp.refine_with_congruences(cgs); in test07()
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Drefinewithcongruences1.cc72 gr.refine_with_congruences(cgs); in test02()
118 gr.refine_with_congruences(cgs); in test04()
168 gr.refine_with_congruences(cgs); in test06()
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Drefinewith1.cc110 pps.refine_with_congruences(cgs); in test02()
156 pps.refine_with_congruences(cgs); in test03()
199 pps.refine_with_congruences(cgs); in test04()
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dcongruences1.cc156 oct2.refine_with_congruences(cgs); in test06()
180 oct2.refine_with_congruences(cgs); in test07()
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_inlines.hh448 ::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::Partially_Reduced_Product
449 d1.refine_with_congruences(cgs); in refine_with_congruences()
450 d2.refine_with_congruences(cgs); in refine_with_congruences()
H A DGrid_inlines.hh290 Grid::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::Grid
H A DPartially_Reduced_Product_templates.hh133 d2.refine_with_congruences(cgs); in add_recycled_congruences()
138 d1.refine_with_congruences(cgs); in add_recycled_congruences()
H A DBD_Shape_inlines.hh238 BD_Shape<T>::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::BD_Shape
321 refine_with_congruences(grid.minimized_congruences()); in BD_Shape()
H A DOctagonal_Shape_inlines.hh202 refine_with_congruences(grid.minimized_congruences()); in Octagonal_Shape()
509 Octagonal_Shape<T>::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::Octagonal_Shape
H A DPointset_Powerset_defs.hh656 void refine_with_congruences(const Congruence_System& cgs);
H A DPartially_Reduced_Product_defs.hh980 void refine_with_congruences(const Congruence_System& cgs);
H A DGrid_defs.hh1045 void refine_with_congruences(const Congruence_System& cgs);
H A DPolyhedron_defs.hh1008 void refine_with_congruences(const Congruence_System& cgs);
H A DBox_defs.hh898 void refine_with_congruences(const Congruence_System& cgs);
H A DOctagonal_Shape_defs.hh1031 void refine_with_congruences(const Congruence_System& cgs);
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java424 public native void refine_with_congruences(Congruence_System cgs); in refine_with_congruences() method in Polyhedron

12