[PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Let classes in Concrete_Expression.defs. hh appear in the user manual.

[Enea Zaffanella]

Module: ppl/ppl
Branch: ppl-0_12-branch
Commit: 7d19a65f547bc4224622dbf70df1c43b792a194f
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d19a65f547bc4224622dbf70df1c43b792a194f

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 27 15:57:45 2012 +0100

Let classes in Concrete_Expression.defs.hh appear in the user manual.

---

 src/Concrete_Expression.defs.hh  |    8 ++++++++
 src/Concrete_Expression.types.hh |    3 +--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh
index 655e119..0f30e57 100644
--- a/src/Concrete_Expression.defs.hh
+++ b/src/Concrete_Expression.defs.hh
@@ -30,6 +30,7 @@ site: http://bugseng.com/products/ppl/ . */
 
 namespace Parma_Polyhedra_Library {
 
+//! The type of a concrete expression.
 class Concrete_Expression_Type {
 public:
   /*! \brief
@@ -116,6 +117,7 @@ private:
   Implementation impl;
 };
 
+//! Base class for all concrete expressions.
 template <typename Target>
 class Concrete_Expression_Common {
 public:
@@ -145,6 +147,7 @@ public:
 
 };
 
+//! Base class for binary operator applied to two concrete expressions.
 template <typename Target>
 class Binary_Operator_Common {
 public:
@@ -158,6 +161,7 @@ public:
   const Concrete_Expression<Target>* right_hand_side() const;
 };
 
+//! Base class for unary operator applied to one concrete expression.
 template <typename Target>
 class Unary_Operator_Common {
 public:
@@ -168,20 +172,24 @@ public:
   const Concrete_Expression<Target>* argument() const;
 };
 
+//! Base class for cast operator concrete expressions.
 template <typename Target>
 class Cast_Operator_Common {
   //! Returns the casted expression.
   const Concrete_Expression<Target>* argument() const;
 };
 
+//! Base class for integer constant concrete expressions.
 template <typename Target>
 class Integer_Constant_Common {
 };
 
+//! Base class for floating-point constant concrete expression.
 template <typename Target>
 class Floating_Point_Constant_Common {
 };
 
+//! Base class for references to some approximable.
 template <typename Target>
 class Approximable_Reference_Common {
 };
diff --git a/src/Concrete_Expression.types.hh b/src/Concrete_Expression.types.hh
index 7a3c7e7..999ff41 100644
--- a/src/Concrete_Expression.types.hh
+++ b/src/Concrete_Expression.types.hh
@@ -27,7 +27,7 @@ class Binary_Operator;
 template <typename Target>
 class Unary_Operator;
 
-//! A cast operator applied converting one concrete expression to some type.
+//! A cast operator converting one concrete expression to some type.
 template <typename Target>
 class Cast_Operator;
 
@@ -43,7 +43,6 @@ class Floating_Point_Constant;
 template <typename Target>
 class Approximable_Reference;
 
-//! The type of a concrete expression.
 class Concrete_Expression_Type;
 
 /*! \brief