APRONXX  0.9.12
/builddir/build/BUILD/apron-0.9.13/apronxx/apxx_ppl_product_inline.hh
Go to the documentation of this file.
1 /* -*- C++ -*-
2  * apxx_ppl_product_inline.hh
3  *
4  * APRON Library / C++ inline functions
5  *
6  * DO NOT INCLUDE THIS FILE DIRECTLY
7  *
8  * Copyright (C) Antoine Mine' 2007
9  *
10  */
11 /* This file is part of the APRON Library.
12  As it includes both APRON and PPL files, it is released under GPL license.
13  Please read the ppl/COPYING file packaged in the distribution.
14 */
15 
16 inline pkgrid_manager::pkgrid_manager(const polka_manager& manpk,
17  const ppl_grid_manager& manpplgrid)
18  : manager(ap_pkgrid_manager_alloc(const_cast<ap_manager_t*>(manpk.get_ap_manager_t()),
19  const_cast<ap_manager_t*>(manpplgrid.get_ap_manager_t())))
20 {}
21 
22 inline pkgrid_manager::pkgrid_manager(bool strict)
23  : manager(ap_pkgrid_manager_alloc(const_cast<ap_manager_t*>(polka_manager(strict).get_ap_manager_t()),
24  const_cast<ap_manager_t*>(ppl_grid_manager().get_ap_manager_t())))
25 {}
26 
28 {
29  return manager::operator=(m);
30 }
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_ppl_product_inline.hh:27
pkgrid_manager(const polka_manager &manpk, const ppl_grid_manager &manpplgrid)
Creates a new manager.
Definition: apxx_ppl_product_inline.hh:16
Manager factory for the NewPolka polyhedra library.
Definition: apxx_polka.hh:26
Manager factory for grid domain using the PPL library.
Definition: apxx_ppl.hh:42