[PPL-devel] [GIT] ppl/ppl(master): The default output function for Variable' s objects made public.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Aug  7 18:56:44 2012 +0200

The default output function for Variable's objects made public.
There is no actual reason to have it private: being public,
we simplify the life of a user willing to set it back to default.

---

 src/Variable.defs.hh |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Variable.defs.hh b/src/Variable.defs.hh
index 961415f..ca88c9f 100644
--- a/src/Variable.defs.hh
+++ b/src/Variable.defs.hh
@@ -117,6 +117,9 @@ public:
   //! Type of output functions.
   typedef void output_function_type(std::ostream& s, const Variable v);
 
+  //! The default output function.
+  static void default_output_function(std::ostream& s, const Variable v);
+
   //! Sets the output function to be used for printing Variable objects.
   static void set_output_function(output_function_type* p);
 
@@ -147,8 +150,6 @@ private:
   //! Pointer to the current output function.
   static output_function_type* current_output_function;
 
-  //! The default output function.
-  static void default_output_function(std::ostream& s, const Variable v);
 };
 
 #include "Variable.inlines.hh"