APRONXX 0.9.14
/builddir/build/BUILD/apron-0.9.15-build/apron-0.9.15/apronxx/apxx_ppl_inline.hh
Go to the documentation of this file.
1/* -*- C++ -*-
2 * apxx_ppl_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 ppl_poly_manager::ppl_poly_manager(bool strict)
17 : manager(ap_ppl_poly_manager_alloc(strict))
18{}
19
21 : manager(ap_ppl_grid_manager_alloc())
22{}
23
25{
26 return manager::operator=(m);
27}
28
30{
31 return manager::operator=(m);
32}
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_inline.hh:29
ppl_grid_manager()
Creates a new manager.
Definition apxx_ppl_inline.hh:20
manager & operator=(const manager &)
Copy operator.
Definition apxx_ppl_inline.hh:24