APRONXX 0.9.15
/home/mine/apron/apronxx/apxx_ppl.hh
Go to the documentation of this file.
1/* -*- C++ -*-
2 * apxx_ppl.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.
10 As it includes both APRON and PPL files, it is released under GPL license.
11 Please read the ppl/COPYING file packaged in the distribution.
12*/
13
14#ifndef __APXX_PPL_HH
15#define __APXX_PPL_HH
16
18
19#include "ap_ppl.h"
20
21namespace apron {
22
24class ppl_poly_manager : public manager {
26public:
27
29
30 * \arg \c strict whether to allow strict inequalities as well as non-strict inequalities.
31 *
32 * Note that abstract values created with strict and non-strict managers
33 * are not compatible.
34 */
35 ppl_poly_manager(bool strict = false);
36
38 manager& operator=(const manager&);
39};
40
42class ppl_grid_manager : public manager {
43
44public:
45
48
50 manager& operator=(const manager&);
51};
52
53#include "apxx_ppl_inline.hh"
54
55}
56
57#endif /* __APXX_PPL_HH */
manager(ap_manager_t *m)
Internal use only (by subclasses). Initialise from a ap_manager_t* and take ownership (no copy).
Definition apxx_manager.hh:75
manager & operator=(const manager &)
Copy operator.
Definition apxx_ppl.hh:30
ppl_grid_manager()
Creates a new manager.
Definition apxx_ppl.hh:21
manager & operator=(const manager &)
Copy operator.
Definition apxx_ppl.hh:25
ppl_poly_manager(bool strict=false)
Creates a new manager.
Definition apxx_ppl.hh:17
Definition apxx_abstract0.hh:27