APRONXX
0.9.12
/builddir/build/BUILD/apron-0.9.12/apronxx/apxx_box.hh
Go to the documentation of this file.
1
/* -*- C++ -*-
2
* apxx_box.hh
3
*
4
* APRON Library / C++ class wrappers
5
*
6
* Copyright (C) Antoine Mine' 2007
7
*
8
*/
9
/* This file is part of the APRON Library, released under LGPL license
10
with an exception allowing the redistribution of statically linked
11
executables.
12
13
Please read the COPYING file packaged in the distribution.
14
*/
15
16
#ifndef __APXX_BOX_HH
17
#define __APXX_BOX_HH
18
19
#include "
apxx_manager.hh
"
20
21
#include "box.h"
22
23
namespace
apron
{
24
26
class
box_manager
:
public
manager
{
27
28
public
:
29
31
box_manager
();
32
34
manager
&
operator=
(
const
manager
&);
35
};
36
37
#include "
apxx_box_inline.hh
"
38
39
}
40
41
#endif
/* __APXX_BOX_HH */
apron::box_manager
Manager factory for the Box interval-domain library.
Definition:
apxx_box.hh:26
apxx_box_inline.hh
apron::box_manager::box_manager
box_manager()
Creates a new manager.
Definition:
apxx_box_inline.hh:18
apxx_manager.hh
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
apron
Definition:
apxx_abstract0.hh:27
Generated on Wed Jan 22 2020 00:00:00 for APRONXX by
1.8.17