@@ -20151,7 +20151,7 @@ public:
2015120151
2015220152 typedef std::bidirectional_iterator_tag iterator_category;
2015320153 typedef Coefficient value_type;
20154- typedef ptrdiff_t difference_type;
20154+ typedef std:: ptrdiff_t difference_type;
2015520155 typedef value_type* pointer;
2015620156 typedef value_type& reference;
2015720157
@@ -20192,7 +20192,7 @@ class Parma_Polyhedra_Library::Dense_Row::const_iterator {
2019220192public:
2019320193
2019420194 typedef const Coefficient value_type;
20195- typedef ptrdiff_t difference_type;
20195+ typedef std:: ptrdiff_t difference_type;
2019620196 typedef value_type* pointer;
2019720197 typedef Coefficient_traits::const_reference reference;
2019820198
@@ -20974,7 +20974,7 @@ public:
2097420974
2097520975 typedef std::bidirectional_iterator_tag iterator_category;
2097620976 typedef const data_type value_type;
20977- typedef ptrdiff_t difference_type;
20977+ typedef std:: ptrdiff_t difference_type;
2097820978 typedef value_type* pointer;
2097920979 typedef data_type_const_reference reference;
2098020980
@@ -21129,7 +21129,7 @@ public:
2112921129
2113021130 typedef std::bidirectional_iterator_tag iterator_category;
2113121131 typedef data_type value_type;
21132- typedef ptrdiff_t difference_type;
21132+ typedef std:: ptrdiff_t difference_type;
2113321133 typedef value_type* pointer;
2113421134 typedef value_type& reference;
2113521135
@@ -22369,7 +22369,7 @@ CO_Tree::dfs_index(const_iterator itr) const {
2236922369 PPL_ASSERT(itr.current_index != 0);
2237022370 PPL_ASSERT(itr.current_index >= indexes + 1);
2237122371 PPL_ASSERT(itr.current_index <= indexes + reserved_size);
22372- const ptrdiff_t index = itr.current_index - indexes;
22372+ const std:: ptrdiff_t index = itr.current_index - indexes;
2237322373 return static_cast<dimension_type>(index);
2237422374}
2237522375
@@ -22378,7 +22378,7 @@ CO_Tree::dfs_index(iterator itr) const {
2237822378 PPL_ASSERT(itr.current_index != 0);
2237922379 PPL_ASSERT(itr.current_index >= indexes + 1);
2238022380 PPL_ASSERT(itr.current_index <= indexes + reserved_size);
22381- const ptrdiff_t index = itr.current_index - indexes;
22381+ const std:: ptrdiff_t index = itr.current_index - indexes;
2238222382 return static_cast<dimension_type>(index);
2238322383}
2238422384
@@ -23106,7 +23106,7 @@ CO_Tree::tree_iterator::follow_left_children_with_value() {
2310623106 p -= (offset - 1);
2310723107 while (*p == unused_index)
2310823108 ++p;
23109- ptrdiff_t distance = p - tree.indexes;
23109+ std:: ptrdiff_t distance = p - tree.indexes;
2311023110 PPL_ASSERT(distance >= 0);
2311123111 i = static_cast<dimension_type>(distance);
2311223112 offset = least_significant_one_mask(i);
@@ -23121,7 +23121,7 @@ CO_Tree::tree_iterator::follow_right_children_with_value() {
2312123121 p += (offset - 1);
2312223122 while (*p == unused_index)
2312323123 --p;
23124- ptrdiff_t distance = p - tree.indexes;
23124+ std:: ptrdiff_t distance = p - tree.indexes;
2312523125 PPL_ASSERT(distance >= 0);
2312623126 i = static_cast<dimension_type>(distance);
2312723127 offset = least_significant_one_mask(i);
@@ -24749,7 +24749,7 @@ public:
2474924749 public:
2475024750 typedef std::bidirectional_iterator_tag iterator_category;
2475124751 typedef const Coefficient value_type;
24752- typedef ptrdiff_t difference_type;
24752+ typedef std:: ptrdiff_t difference_type;
2475324753 typedef value_type* pointer;
2475424754 typedef Coefficient_traits::const_reference reference;
2475524755
@@ -27158,7 +27158,7 @@ public:
2715827158 public:
2715927159 typedef std::bidirectional_iterator_tag iterator_category;
2716027160 typedef const Coefficient value_type;
27161- typedef ptrdiff_t difference_type;
27161+ typedef std:: ptrdiff_t difference_type;
2716227162 typedef value_type* pointer;
2716327163 typedef Coefficient_traits::const_reference reference;
2716427164
0 commit comments