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

Author: Enea Zaffanella zaffanella@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