Go to the documentation of this file.
14 #ifndef __APXX_PPL_PRODUCT_HH
15 #define __APXX_PPL_PRODUCT_HH
19 #include "ap_pkgrid.h"
Manager factory for reduced product domain of NewPolka polyhedra and PPL grids.
Definition: apxx_ppl_product.hh:24
Manager factory for grid domain using the PPL library.
Definition: apxx_ppl.hh:42
Manager factory for the NewPolka polyhedra library.
Definition: apxx_polka.hh:26
pkgrid_manager(const polka_manager &manpk, const ppl_grid_manager &manpplgrid)
Creates a new manager.
Definition: apxx_ppl_product_inline.hh:16
manager & operator=(const manager &)
Copy operator.
Definition: apxx_ppl_product_inline.hh:27
Library manager (ap_manager_t wrapper).
Definition: apxx_manager.hh:137
Definition: apxx_abstract0.hh:27