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