Module: ppl/ppl Branch: floating_point Commit: d1180bb65f43f1fd00788be818cd5266b4dd8096 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1180bb65f43f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Jul 26 13:49:58 2010 +0200 Consistently use the typedefs. --- src/Concrete_Expression.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index f5ca921..0442195 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -129,7 +129,7 @@ template <typename Target> class Binary_Operator_Base : public Concrete_Expression<Target> { public: //! Returns a constant identifying the operator of \p *this. - int binary_operator() const; + Concrete_Expression_BOP binary_operator() const; //! Returns the left-hand side of \p *this. const Concrete_Expression<Target>* left_hand_side() const; @@ -142,7 +142,7 @@ template <typename Target> class Unary_Operator_Base : public Concrete_Expression<Target> { public: //! Returns a constant identifying the operator of \p *this. - int unary_operator() const; + Concrete_Expression_UOP unary_operator() const; //! Returns the argument \p *this. const Concrete_Expression<Target>* argument() const;