18inline box_manager::box_manager()
manager & operator=(const manager &)
Copy operator.
Definition apxx_box_inline.hh:22
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