Module: ppl/ppl Branch: sparse_matrices Commit: dea68ec07cf126b9bb0b4637d8ffc686c81f8f4a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dea68ec07cf12...
Author: Marco Poletti poletti.marco@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;