Home
last modified time | relevance | path

Searched refs:Partially_Reduced_Product (Results 1 – 22 of 22) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_inlines.hh45 Partially_Reduced_Product<D1, D2, R>
61 Partially_Reduced_Product<D1, D2, R>
69 Partially_Reduced_Product<D1, D2, R>
77 Partially_Reduced_Product<D1, D2, R>
85 Partially_Reduced_Product<D1, D2, R>
93 Partially_Reduced_Product<D1, D2, R>
147 ::Partially_Reduced_Product(const Partially_Reduced_Product& y, in Partially_Reduced_Product() function in Parma_Polyhedra_Library::Partially_Reduced_Product
157 ::Partially_Reduced_Product(const Partially_Reduced_Product<E1, E2, S>& y, in Partially_Reduced_Product() function in Parma_Polyhedra_Library::Partially_Reduced_Product
168 Partially_Reduced_Product<D1, D2, R>::~Partially_Reduced_Product() { in ~Partially_Reduced_Product()
379 Partially_Reduced_Product<D1, D2, R>::m_swap(Partially_Reduced_Product& y) { in m_swap()
[all …]
H A DPartially_Reduced_Product_defs.hh68 void swap(Partially_Reduced_Product<D1, D2, R>& x,
69 Partially_Reduced_Product<D1, D2, R>& y);
513 Partially_Reduced_Product(const C_Polyhedron& ph,
535 Partially_Reduced_Product(const NNC_Polyhedron& ph,
554 Partially_Reduced_Product(const Grid& gr,
592 Partially_Reduced_Product(const BD_Shape<U>& bd,
615 Partially_Reduced_Product(const Partially_Reduced_Product& y,
624 Partially_Reduced_Product(const Partially_Reduced_Product<E1, E2, S>& y,
631 Partially_Reduced_Product& operator=(const Partially_Reduced_Product& y);
1580 ~Partially_Reduced_Product();
[all …]
H A DPartially_Reduced_Product_templates.hh38 Partially_Reduced_Product<D1, D2, R>
109 Partially_Reduced_Product<D1, D2, R>
130 Partially_Reduced_Product<D1, D2, R>
151 Partially_Reduced_Product<D1, D2, R>
165 Partially_Reduced_Product<D1, D2, R>
197 Partially_Reduced_Product<D1, D2, R>
229 Partially_Reduced_Product<D1, D2, R>
282 Partially_Reduced_Product<D1, D2, R>
336 Partially_Reduced_Product<D1, D2, R>
397 Partially_Reduced_Product<D1, D2, R>
[all …]
H A DPartially_Reduced_Product_types.hh34 class Partially_Reduced_Product;
H A DPointset_Powerset_inlines.hh124 ::Pointset_Powerset(const Partially_Reduced_Product<QH1, QH2, R>& prp, in Pointset_Powerset()
H A DPointset_Powerset_defs.hh118 Pointset_Powerset(const Partially_Reduced_Product<QH1, QH2, R>& prp,
H A DBox_defs.hh471 explicit Box(const Partially_Reduced_Product<D1, D2, R>& dp,
H A Dppl.hh.dist36948 class Partially_Reduced_Product;
97052 \relates Partially_Reduced_Product
97592 Partially_Reduced_Product(const Partially_Reduced_Product& y,
97601 Partially_Reduced_Product(const Partially_Reduced_Product<E1, E2, S>& y,
97608 Partially_Reduced_Product& operator=(const Partially_Reduced_Product& y);
98557 ~Partially_Reduced_Product();
98784 ::Partially_Reduced_Product(const Partially_Reduced_Product& y,
98794 ::Partially_Reduced_Product(const Partially_Reduced_Product<E1, E2, S>& y,
98805 Partially_Reduced_Product<D1, D2, R>::~Partially_Reduced_Product() {
99016 Partially_Reduced_Product<D1, D2, R>::m_swap(Partially_Reduced_Product& y) {
[all …]
H A DBox_templates.hh529 Box<ITV>::Box(const Partially_Reduced_Product<D1, D2, R>& dp, in Box()
/dports/devel/ppl/ppl-1.2/
H A DChangeLog5457 src/Partially_Reduced_Product.defs.hh,
5618 src/Partially_Reduced_Product.defs.hh,
7967 src/Partially_Reduced_Product.defs.hh,
7988 src/Partially_Reduced_Product.defs.hh,
10073 src/Partially_Reduced_Product.defs.hh,
10646 src/Partially_Reduced_Product.defs.hh,
10748 src/Partially_Reduced_Product.defs.hh,
11293 src/Partially_Reduced_Product.defs.hh,
12099 src/Partially_Reduced_Product.defs.hh,
13805 src/Partially_Reduced_Product.defs.hh,
[all …]
H A DTODO59 - Pointset_Powerset and Partially_Reduced_Product domains:
H A DChangeLog_2001-20081142 src/Partially_Reduced_Product.defs.hh,
3102 src/Partially_Reduced_Product.defs.hh,
3288 Partially_Reduced_Product domains.
6439 Partially_Reduced_Product.defs.hh,
6527 Partially_Reduced_Product.defs.hh,
6528 Partially_Reduced_Product.inlines.hh,
9871 src/Partially_Reduced_Product.defs.hh,
17252 src/Partially_Reduced_Product.defs.hh,
20727 Partially_Reduced_Product class.
20775 src/Partially_Reduced_Product.defs.hh.
[all …]
H A DNEWS411 to the Partially_Reduced_Product abstraction. This operator is
543 Partially_Reduced_Product<D1, D2, R>::time_elase_assign(y)
658 o A new abstraction called Partially_Reduced_Product (PRP) has been
742 Note that this is not currently provided for the Partially_Reduced_Product
H A DREADME1506 | |-- Partially_Reduced_Product
H A Dconfigure.ac1676 tests/Partially_Reduced_Product/Makefile
H A Dconfigure27176 …"tests/Partially_Reduced_Product/Makefile") CONFIG_FILES="$CONFIG_FILES tests/Partially_Reduced_Pr…
/dports/devel/ppl/ppl-1.2/tests/
H A DMakefile.am30 Partially_Reduced_Product \ subdir
H A Dppl_test.hh1130 print_constraints(const Partially_Reduced_Product<D1, D2, R>& pd, in print_constraints()
1138 print_congruences(const Partially_Reduced_Product<D1, D2, R>& pd, in print_congruences()
H A DMakefile.in475 Partially_Reduced_Product \
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A DMakefile.am46 -I$(top_srcdir)/tests/Partially_Reduced_Product \
H A DMakefile.in107 subdir = tests/Partially_Reduced_Product
1024 -I$(top_srcdir)/tests/Partially_Reduced_Product \
1160 $(AUTOMAKE) --foreign tests/Partially_Reduced_Product/Makefile
/dports/devel/ppl/ppl-1.2/doc/
H A Ddefinitions.dox116 …- \link Parma_Polyhedra_Library::Partially_Reduced_Product <CODE>Partially_Reduced_Product\<D1, D2…
2883 …ally_Reduced_Product_Domains_A_Warning On Pointset_Powerset and Partially_Reduced_Product Domains:…
2894 <CODE>Partially_Reduced_Product<D1, D2, R></CODE>