[PPL-devel] [GIT] ppl/ppl(master): Missing comments added.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Jan 4 19:08:30 CET 2013
Module: ppl/ppl
Branch: master
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
More information about the PPL-devel
mailing list