[PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: add typedef for height_t.

[Marco Poletti]

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

Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri May  7 17:31:56 2010 +0200

CO_Tree: add typedef for height_t.

---

 src/CO_Tree.defs.hh |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh
index 0c119af..ebbba0f 100644
--- a/src/CO_Tree.defs.hh
+++ b/src/CO_Tree.defs.hh
@@ -25,6 +25,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 
 #include "Coefficient.defs.hh"
 #include <vector>
+#include <stdint.h>
 
 #ifndef USE_PPL_CO_TREE_VEB_LAYOUT
 #ifndef USE_PPL_CO_TREE_DFS_LAYOUT
@@ -52,6 +53,9 @@ namespace Parma_Polyhedra_Library {
 
 class CO_Tree {
 
+private:
+  typedef uint_fast8_t height_t;
+
 public:
 
   typedef Coefficient data_type;