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