16 #ifndef __APXX_POLKA_HH
17 #define __APXX_POLKA_HH
Library manager (ap_manager_t wrapper).
Definition: apxx_manager.hh:137
Manager factory for the NewPolka polyhedra library.
Definition: apxx_polka.hh:26
manager & operator=(const manager &)
Copy operator.
Definition: apxx_polka_inline.hh:22
polka_manager(bool strict=false)
Creates a new manager.
Definition: apxx_polka_inline.hh:18
Definition: apxx_abstract0.hh:27