APRONXX  0.9.12
/builddir/build/BUILD/apron-0.9.13/apronxx/apxx_box_inline.hh
Go to the documentation of this file.
1 /* -*- C++ -*-
2  * apxx_box_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, released under LGPL license
12  with an exception allowing the redistribution of statically linked
13  executables.
14 
15  Please read the COPYING file packaged in the distribution.
16 */
17 
18 inline box_manager::box_manager()
19  : manager(box_manager_alloc())
20 {}
21 
23 {
24  return manager::operator=(m);
25 }
apron::manager::m
ap_manager_t * m
Pointer managed by APRON.
Definition: apxx_manager.hh:141
apron::manager::operator=
manager & operator=(const manager &x)
Assignment (actually performs some reference counter management).
Definition: apxx_manager_inline.hh:165
apron::box_manager::operator=
manager & operator=(const manager &)
Copy operator.
Definition: apxx_box_inline.hh:22
apron::manager
Library manager (ap_manager_t wrapper).
Definition: apxx_manager.hh:137