APRONXX 0.9.14
/builddir/build/BUILD/apron-0.9.15-build/apron-0.9.15/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
23namespace apron {
24
26class box_manager : public manager {
27
28public:
29
32
34 manager& operator=(const manager&);
35};
36
37#include "apxx_box_inline.hh"
38
39}
40
41#endif /* __APXX_BOX_HH */
Manager factory for the Box interval-domain library.
Definition apxx_box.hh:26
manager & operator=(const manager &)
Copy operator.
Definition apxx_box_inline.hh:22
box_manager()
Creates a new manager.
Definition apxx_box_inline.hh:18
Library manager (ap_manager_t wrapper).
Definition apxx_manager.hh:137
Definition apxx_abstract0.hh:27