APRONXX  0.9.12
/builddir/build/BUILD/apron-0.9.13/apronxx/apxx_oct_inline.hh
Go to the documentation of this file.
1 /* -*- C++ -*-
2  * apxx_oct_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 oct_manager::oct_manager()
19  : manager(oct_manager_alloc())
20 {}
21 
23 {
24  return manager::operator=(m);
25 }
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_oct_inline.hh:22