18 :
manager(ap_pkgrid_manager_alloc(const_cast<ap_manager_t*>(manpk.get_ap_manager_t()),
19 const_cast<ap_manager_t*>(manpplgrid.get_ap_manager_t())))
23 :
manager(ap_pkgrid_manager_alloc(const_cast<ap_manager_t*>(
polka_manager(strict).get_ap_manager_t()),
Library manager (ap_manager_t wrapper).
Definition apxx_manager.hh:137
ap_manager_t * m
Pointer managed by APRON.
Definition apxx_manager.hh:141
manager & operator=(const manager &x)
Assignment (actually performs some reference counter management).
Definition apxx_manager_inline.hh:165
manager & operator=(const manager &)
Copy operator.
Definition apxx_ppl_product_inline.hh:27
pkgrid_manager(const polka_manager &manpk, const ppl_grid_manager &manpplgrid)
Creates a new manager.
Definition apxx_ppl_product_inline.hh:16
Manager factory for the NewPolka polyhedra library.
Definition apxx_polka.hh:26
Manager factory for grid domain using the PPL library.
Definition apxx_ppl.hh:42