summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChanho Park <chanho61.park@samsung.com>2014-08-12 01:28:42 +0900
committerChanho Park <chanho61.park@samsung.com>2014-08-12 01:28:42 +0900
commit79a252495cf551a28d54dc3affa3177becf065db (patch)
tree8cea10727c6730846528ad9443e395b7eeea24f8
parenta0aad599d383f3ebfc6db0eef4101050cb00b9d5 (diff)
downloadppl-79a252495cf551a28d54dc3affa3177becf065db.tar.gz
ppl-79a252495cf551a28d54dc3affa3177becf065db.tar.bz2
ppl-79a252495cf551a28d54dc3affa3177becf065db.zip
Added missing inclusions. Use std::ptrdiff_t. (Thanks to Paulo Cesar Pereira de Andrade.) This patch back-ported from http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61d4e14dfd9f1121e9b4521dead5728b2424dd7c Change-Id: I0b11157dc52c66524c1035d54b69154aea1dace5 Signed-off-by: Chanho Park <chanho61.park@samsung.com>
-rw-r--r--src/Congruence_System.defs.hh3
-rw-r--r--src/Constraint_System.defs.hh3
-rw-r--r--src/Generator_System.defs.hh3
-rw-r--r--src/Grid_Generator_System.defs.hh3
4 files changed, 8 insertions, 4 deletions
diff --git a/src/Congruence_System.defs.hh b/src/Congruence_System.defs.hh
index 78f0d1af9..38f2d8646 100644
--- a/src/Congruence_System.defs.hh
+++ b/src/Congruence_System.defs.hh
@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
#include "Grid.types.hh"
#include "Grid_Certificate.types.hh"
#include <iosfwd>
+#include <cstddef>
namespace Parma_Polyhedra_Library {
@@ -235,7 +236,7 @@ public:
class const_iterator
: public std::iterator<std::forward_iterator_tag,
Congruence,
- ptrdiff_t,
+ std::ptrdiff_t,
const Congruence*,
const Congruence&> {
public:
diff --git a/src/Constraint_System.defs.hh b/src/Constraint_System.defs.hh
index a3c614f1e..a45359195 100644
--- a/src/Constraint_System.defs.hh
+++ b/src/Constraint_System.defs.hh
@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
#include "Congruence_System.types.hh"
#include <iterator>
#include <iosfwd>
+#include <cstddef>
namespace Parma_Polyhedra_Library {
@@ -204,7 +205,7 @@ public:
class const_iterator
: public std::iterator<std::forward_iterator_tag,
Constraint,
- ptrdiff_t,
+ std::ptrdiff_t,
const Constraint*,
const Constraint&> {
public:
diff --git a/src/Generator_System.defs.hh b/src/Generator_System.defs.hh
index 59e744831..b588a6c34 100644
--- a/src/Generator_System.defs.hh
+++ b/src/Generator_System.defs.hh
@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
#include "Polyhedron.types.hh"
#include "Poly_Con_Relation.defs.hh"
#include <iosfwd>
+#include <cstddef>
namespace Parma_Polyhedra_Library {
@@ -250,7 +251,7 @@ public:
class const_iterator
: public std::iterator<std::forward_iterator_tag,
Generator,
- ptrdiff_t,
+ std::ptrdiff_t,
const Generator*,
const Generator&> {
public:
diff --git a/src/Grid_Generator_System.defs.hh b/src/Grid_Generator_System.defs.hh
index 4b124b43c..679675832 100644
--- a/src/Grid_Generator_System.defs.hh
+++ b/src/Grid_Generator_System.defs.hh
@@ -30,6 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */
#include "Variables_Set.types.hh"
#include "Grid.types.hh"
#include <iosfwd>
+#include <cstddef>
namespace Parma_Polyhedra_Library {
@@ -267,7 +268,7 @@ public:
class const_iterator
: public std::iterator<std::forward_iterator_tag,
Grid_Generator,
- ptrdiff_t,
+ std::ptrdiff_t,
const Grid_Generator*,
const Grid_Generator&>,
private Generator_System::const_iterator {