[PPL-devel] [GIT] ppl/ppl(master): Let classes in Concrete_Expression.defs. hh appear in the user manual.
Enea Zaffanella
zaffanella at cs.unipr.it
Mon Feb 27 15:58:50 CET 2012
Module: ppl/ppl
Branch: master
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
More information about the PPL-devel
mailing list