16 inline ppl_poly_manager::ppl_poly_manager(
bool strict)
17 :
manager(ap_ppl_poly_manager_alloc(strict))
21 :
manager(ap_ppl_grid_manager_alloc())
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_inline.hh:29
ppl_grid_manager()
Creates a new manager.
Definition: apxx_ppl_inline.hh:20
manager & operator=(const manager &)
Copy operator.
Definition: apxx_ppl_inline.hh:24