18inline oct_manager::oct_manager()
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_oct_inline.hh:22