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

Author: Alberto Gioia alberto.gioia1@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=1aeb2d011...