Module: ppl/ppl Branch: sparse_matrices Commit: cbe0c7241624f49cac7e25b670a78924b9a402cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbe0c7241624f...
Author: Enea Zaffanella zaffanella@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>