[PPL-devel] [GIT] ppl/ppl(polyops): Missing comments added.

[Roberto Bagnara]

Module: ppl/ppl
Branch: polyops
Commit: 45e0f69da1aec3a8193ed0de829558aef19489bf
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45e0f69da1aec3a8193ed0de829558aef19489bf

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jan  4 19:07:41 2013 +0100

Missing comments added.

---

 src/Generator_defs.hh |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/src/Generator_defs.hh b/src/Generator_defs.hh
index 904d42d..5471ee2 100644
--- a/src/Generator_defs.hh
+++ b/src/Generator_defs.hh
@@ -539,10 +539,13 @@ private:
     RAY_OR_POINT_OR_INEQUALITY = 1
   };
 
+  //! The linear expression encoding \p *this.
   Linear_Expression expr;
 
+  //! The kind of \p *this.
   Kind kind_;
 
+  //! The topology of \p *this.
   Topology topology_;
 
   /*! \brief