[PPL-devel] [GIT] ppl/ppl(pip): Typedef for PIP_Tree moved to PIP_Tree.types.hh.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Jan 30 19:09:19 2010 +0100

Typedef for PIP_Tree moved to PIP_Tree.types.hh.

---

 src/PIP_Tree.defs.hh  |    2 --
 src/PIP_Tree.types.hh |    2 ++
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh
index 9c22dbe..fb871a8 100644
--- a/src/PIP_Tree.defs.hh
+++ b/src/PIP_Tree.defs.hh
@@ -677,8 +677,6 @@ protected:
                                    dimension_type space_dimension);
 };
 
-typedef const PIP_Tree_Node* PIP_Tree;
-
 namespace IO_Operators {
 
 std::ostream& operator<<(std::ostream& os,
diff --git a/src/PIP_Tree.types.hh b/src/PIP_Tree.types.hh
index 682d95b..43543f8 100644
--- a/src/PIP_Tree.types.hh
+++ b/src/PIP_Tree.types.hh
@@ -18,6 +18,8 @@ class PIP_Solution_Node;
 class PIP_Decision_Node;
 class PIP_Tree_Node;
 
+typedef const PIP_Tree_Node* PIP_Tree;
+
 } // namespace Parma_Polyhedra_Library
 
 #endif // !defined(PPL_PIP_Tree_types_hh)