APRONXX  0.9.12
/builddir/build/BUILD/apron-0.9.13/apronxx/apxx_t1p.hh
Go to the documentation of this file.
1 /* -*- C++ -*-
2  * apxx_t1p.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_T1P_HH
17 #define __APXX_T1P_HH
18 
19 #include "apxx_manager.hh"
20 
21 #include "t1p.h"
22 
23 namespace apron {
24 
26 class t1p_manager : public manager {
27 
28 public:
29 
37  t1p_manager();
38 
40  manager& operator=(const manager&);
41 };
42 
43 #include "apxx_t1p_inline.hh"
44 
45 }
46 
47 #endif /* __APXX_T1P_HH */
apron::t1p_manager::operator=
manager & operator=(const manager &)
Copy operator.
Definition: apxx_t1p_inline.hh:22
apxx_t1p_inline.hh
apron::t1p_manager
Manager factory for the Taylor1plus zonotope library.
Definition: apxx_t1p.hh:26
apxx_manager.hh
apron::t1p_manager::t1p_manager
t1p_manager()
Creates a new manager.
Definition: apxx_t1p_inline.hh:18
apron::manager
Library manager (ap_manager_t wrapper).
Definition: apxx_manager.hh:137
apron
Definition: apxx_abstract0.hh:27