[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Small changes in the definition of functions and two additional functions: bool check_totaly which returns true only if

[Alberto Gioia]

Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 1aeb2d0117f75efed305c80a6598e49e1e869df7
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1aeb2d0117f75efed305c80a6598e49e1e869df7

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Sat Aug 27 17:27:56 2011 +0200

Small changes in the definition of functions and two additional functions: bool check_totaly which returns true only if
the linear forms are totally greater than or equal to zero or less than zero, and function bool incomplete which returns true
if the two linear form have coefficients associated with the same variables, different from zero.

---

 src/Linear_Form.defs.hh      |   22 ++-
 src/Linear_Form.templates.hh |  450 ++++++++----------------------------------
 2 files changed, 101 insertions(+), 371 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=1aeb2d0117f75efed305c80a6598e49e1e869df7