APRONXX 0.9.14
/builddir/build/BUILD/apron-0.9.15-build/apron-0.9.15/apronxx/apxx_t1p_inline.hh
Go to the documentation of this file.
1/* -*- C++ -*-
2 * apxx_t1p_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
18inline t1p_manager::t1p_manager()
19 : manager(t1p_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_t1p_inline.hh:22