Go to the documentation of this file.
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()),
ap_manager_t * m
Pointer managed by APRON.
Definition: apxx_manager.hh:141
Manager factory for grid domain using the PPL library.
Definition: apxx_ppl.hh:42
manager & operator=(const manager &x)
Assignment (actually performs some reference counter management).
Definition: apxx_manager_inline.hh:165
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