[PPL-devel] [GIT] ppl/ppl(termination): Missing files added.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar  9 13:31:49 2010 +0400

Missing files added.

---

 doc/devref.doxyconf-latex.in |   46 ++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 46 insertions(+), 0 deletions(-)

diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in
index 7c24163..7fd2496 100644
--- a/doc/devref.doxyconf-latex.in
+++ b/doc/devref.doxyconf-latex.in
@@ -314,6 +314,52 @@ INPUT                  = @srcdir@/definitions.dox \
                          @srcdir@/../src/Octagonal_Shape.inlines.hh \
                          @srcdir@/../src/Octagonal_Shape.templates.hh \
                          @srcdir@/../src/Octagonal_Shape.cc \
+                         @srcdir@/../src/PIP_Problem.cc \
+                         @srcdir@/../src/PIP_Problem.defs.hh \
+                         @srcdir@/../src/PIP_Problem.inlines.hh \
+                         @srcdir@/../src/PIP_Problem.templates.hh \
+                         @srcdir@/../src/PIP_Problem.types.hh \
+                         @srcdir@/../src/PIP_Tree.defs.hh \
+                         @srcdir@/../src/PIP_Tree.inlines.hh \
+                         @srcdir@/../src/PIP_Tree.types.hh \
+			 @srcdir@/../src/Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Floating_Point_Expression.inlines.hh \
+			 @srcdir@/../src/Floating_Point_Expression.templates.hh \
+                         @srcdir@/../src/Cast_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Cast_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \
+                         @srcdir@/../src/Cast_Floating_Point_Expression.templates.hh \   
+			 @srcdir@/../src/Constant_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Constant_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Constant_Floating_Point_Expression.inlines.hh \
+			 @srcdir@/../src/Difference_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Difference_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Difference_Floating_Point_Expression.inlines.hh \
+                         @srcdir@/../src/Difference_Floating_Point_Expression.templates.hh \
+			 @srcdir@/../src/Division_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Division_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Division_Floating_Point_Expression.inlines.hh \
+                         @srcdir@/../src/Division_Floating_Point_Expression.templates.hh \
+			 @srcdir@/../src/Multiplication_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Multiplication_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Multiplication_Floating_Point_Expression.inlines.hh \
+                         @srcdir@/../src/Multiplication_Floating_Point_Expression.templates.hh \
+			 @srcdir@/../src/Opposite_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Opposite_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Opposite_Floating_Point_Expression.inlines.hh \
+			 @srcdir@/../src/Sum_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Sum_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Sum_Floating_Point_Expression.inlines.hh \
+                         @srcdir@/../src/Sum_Floating_Point_Expression.templates.hh \
+			 @srcdir@/../src/Variable_Floating_Point_Expression.types.hh \
+			 @srcdir@/../src/Variable_Floating_Point_Expression.defs.hh \
+			 @srcdir@/../src/Variable_Floating_Point_Expression.inlines.hh \
+			 @srcdir@/../src/Linear_Form.types.hh \
+                         @srcdir@/../src/Linear_Form.defs.hh \
+                         @srcdir@/../src/Linear_Form.inlines.hh \
+                         @srcdir@/../src/Linear_Form.templates.hh \
+                         @srcdir@/../src/Linear_Form.cc \
                          @srcdir@/gpl.dox \
                          @srcdir@/fdl.dox
 INPUT_ENCODING         = UTF-8