Manager factory for the Box interval-domain library.
Definition apxx_box.hh:26
manager & operator=(const manager &)
Copy operator.
Definition apxx_box_inline.hh:22
box_manager()
Creates a new manager.
Definition apxx_box_inline.hh:18
Library manager (ap_manager_t wrapper).
Definition apxx_manager.hh:137
Definition apxx_abstract0.hh:27