APRONXX 0.9.15
/home/mine/apron/apronxx/apxx_polka.hh
Go to the documentation of this file.
1/* -*- C++ -*-
2 * apxx_polka.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_POLKA_HH
17#define __APXX_POLKA_HH
18
20
21#include "pk.h"
22
23namespace apron {
24
26class polka_manager : public manager {
27
28public:
29
37 polka_manager(bool strict = false);
38
40 manager& operator=(const manager&);
41};
42
43#include "apxx_polka_inline.hh"
44
45}
46
47#endif /* __APXX_POLKA_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_polka.hh:23
polka_manager(bool strict=false)
Creates a new manager.
Definition apxx_polka.hh:19
Definition apxx_abstract0.hh:27