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
20
inline
ppl_grid_manager::ppl_grid_manager
()
21
:
manager
(ap_ppl_grid_manager_alloc())
22
{}
23
24
inline
manager
&
ppl_poly_manager::operator=
(
const
manager
& m)
25
{
26
return
manager::operator=
(
m
);
27
}
28
29
inline
manager
&
ppl_grid_manager::operator=
(
const
manager
& m)
30
{
31
return
manager::operator=
(
m
);
32
}
apron::manager::m
ap_manager_t * m
Pointer managed by APRON.
Definition:
apxx_manager.hh:141
apron::ppl_poly_manager::operator=
manager & operator=(const manager &)
Copy operator.
Definition:
apxx_ppl_inline.hh:24
apron::manager::operator=
manager & operator=(const manager &x)
Assignment (actually performs some reference counter management).
Definition:
apxx_manager_inline.hh:165
apron::ppl_grid_manager::ppl_grid_manager
ppl_grid_manager()
Creates a new manager.
Definition:
apxx_ppl_inline.hh:20
apron::ppl_grid_manager::operator=
manager & operator=(const manager &)
Copy operator.
Definition:
apxx_ppl_inline.hh:29
apron::manager
Library manager (ap_manager_t wrapper).
Definition:
apxx_manager.hh:137
Generated on Fri Sep 25 2020 00:00:00 for APRONXX by
1.8.20