Library manager (ap_manager_t wrapper).
Definition: apxx_manager.hh:137
Manager factory for grid domain using the PPL library.
Definition: apxx_ppl.hh:42
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 factory for polyhedra domain using the PPL library.
Definition: apxx_ppl.hh:24
manager & operator=(const manager &)
Copy operator.
Definition: apxx_ppl_inline.hh:24
ppl_poly_manager(bool strict=false)
Creates a new manager.
Definition: apxx_ppl_inline.hh:16
Definition: apxx_abstract0.hh:27