APRONXX 0.9.14
/builddir/build/BUILD/apron-0.9.15-build/apron-0.9.15/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
16inline 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
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