[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Be more systematic when including Scalar_Products header files.

[Enea Zaffanella]

Module: ppl/ppl
Branch: sparse_matrices
Commit: cbe0c7241624f49cac7e25b670a78924b9a402cf
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbe0c7241624f49cac7e25b670a78924b9a402cf

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Dec 11 10:39:25 2011 +0100

Be more systematic when including Scalar_Products header files.

---

 src/Congruence_System.cc               |    1 +
 src/Grid_Generator_System.cc           |    1 +
 src/Linear_System.templates.hh         |    1 +
 src/Polyhedron_conversion.templates.hh |    1 +
 src/Polyhedron_widenings.cc            |    1 +
 5 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/src/Congruence_System.cc b/src/Congruence_System.cc
index 9647d0b..acc8c2c 100644
--- a/src/Congruence_System.cc
+++ b/src/Congruence_System.cc
@@ -29,6 +29,7 @@ site: http://bugseng.com/products/ppl/ . */
 #include "Congruence.defs.hh"
 #include "Grid_Generator.defs.hh"
 #include "Scalar_Products.defs.hh"
+#include "Scalar_Products.inlines.hh"
 #include "assert.hh"
 #include <string>
 #include <vector>
diff --git a/src/Grid_Generator_System.cc b/src/Grid_Generator_System.cc
index 6da6ff2..73f58dd 100644
--- a/src/Grid_Generator_System.cc
+++ b/src/Grid_Generator_System.cc
@@ -25,6 +25,7 @@ site: http://bugseng.com/products/ppl/ . */
 #include "Grid_Generator_System.defs.hh"
 #include "Grid_Generator_System.inlines.hh"
 #include "Scalar_Products.defs.hh"
+#include "Scalar_Products.inlines.hh"
 #include "Variables_Set.defs.hh"
 #include "assert.hh"
 #include <iostream>
diff --git a/src/Linear_System.templates.hh b/src/Linear_System.templates.hh
index cf92afe..23ac1a9 100644
--- a/src/Linear_System.templates.hh
+++ b/src/Linear_System.templates.hh
@@ -31,6 +31,7 @@ site: http://bugseng.com/products/ppl/ . */
 #include "Bit_Matrix.defs.hh"
 #include "Linear_Expression.defs.hh"
 #include "Scalar_Products.defs.hh"
+#include "Scalar_Products.inlines.hh"
 #include <algorithm>
 #include <iostream>
 #include <string>
diff --git a/src/Polyhedron_conversion.templates.hh b/src/Polyhedron_conversion.templates.hh
index bb13994..45cd39b 100644
--- a/src/Polyhedron_conversion.templates.hh
+++ b/src/Polyhedron_conversion.templates.hh
@@ -28,6 +28,7 @@ site: http://bugseng.com/products/ppl/ . */
 #include "Bit_Matrix.defs.hh"
 #include "Polyhedron.defs.hh"
 #include "Scalar_Products.defs.hh"
+#include "Scalar_Products.inlines.hh"
 #include "Temp.defs.hh"
 #include "math_utilities.defs.hh"
 
diff --git a/src/Polyhedron_widenings.cc b/src/Polyhedron_widenings.cc
index 71aa5bd..5ddb22c 100644
--- a/src/Polyhedron_widenings.cc
+++ b/src/Polyhedron_widenings.cc
@@ -27,6 +27,7 @@ site: http://bugseng.com/products/ppl/ . */
 #include "BHRZ03_Certificate.defs.hh"
 #include "Rational_Box.hh"
 #include "Scalar_Products.defs.hh"
+#include "Scalar_Products.inlines.hh"
 #include "assert.hh"
 #include <iostream>
 #include <stdexcept>