PPL
1.2
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
Linear_Expression_Interface.cc
Go to the documentation of this file.
1
/* Linear_Expression_Interface class implementation (non-inline functions).
2
Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3
Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
4
5
This file is part of the Parma Polyhedra Library (PPL).
6
7
The PPL is free software; you can redistribute it and/or modify it
8
under the terms of the GNU General Public License as published by the
9
Free Software Foundation; either version 3 of the License, or (at your
10
option) any later version.
11
12
The PPL is distributed in the hope that it will be useful, but WITHOUT
13
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15
for more details.
16
17
You should have received a copy of the GNU General Public License
18
along with this program; if not, write to the Free Software Foundation,
19
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20
21
For the most up-to-date information see the Parma Polyhedra Library
22
site: http://bugseng.com/products/ppl/ . */
23
24
#include "ppl-config.h"
25
26
#include "
Linear_Expression_Interface_defs.hh
"
27
28
namespace
PPL
=
Parma_Polyhedra_Library
;
29
30
PPL::Linear_Expression_Interface::~Linear_Expression_Interface
() {
31
}
32
33
PPL::Linear_Expression_Interface::const_iterator_interface
34
::~const_iterator_interface() {
35
}
Linear_Expression_Interface_defs.hh
Parma_Polyhedra_Library
The entire library is confined to this namespace.
Definition:
version.hh:61
Parma_Polyhedra_Library::Linear_Expression_Interface::~Linear_Expression_Interface
virtual ~Linear_Expression_Interface()
Definition:
Linear_Expression_Interface.cc:30
ppl
src
Linear_Expression_Interface.cc
Generated on Thu Feb 11 2016 16:18:30 for PPL by
1.8.9.1