APRONXX
0.9.12
/builddir/build/BUILD/apron-0.9.12/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
22
inline
manager
&
oct_manager::operator=
(
const
manager
& m)
23
{
24
return
manager::operator=
(
m
);
25
}
apron::oct_manager::operator=
manager & operator=(const manager &)
Copy operator.
Definition:
apxx_oct_inline.hh:22
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::manager
Library manager (ap_manager_t wrapper).
Definition:
apxx_manager.hh:137
Generated on Thu Feb 27 2020 00:00:00 for APRONXX by
1.8.17