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