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

Author: Alberto Gioia alberto.gioi1@studenti.unipr.it Date: Thu May 5 19:41:39 2011 +0200

Fixed the name of the file Number_Conversion.cc.

---

tests/Concrete_Expression/Number_Conversion.cc | 28 ++++++++++++++++++++++++ tests/Concrete_Expression/linearize_integer.hh | 2 +- 2 files changed, 29 insertions(+), 1 deletions(-)

diff --git a/tests/Concrete_Expression/Number_Conversion.cc b/tests/Concrete_Expression/Number_Conversion.cc new file mode 100644 index 0000000..2d87e49 --- /dev/null +++ b/tests/Concrete_Expression/Number_Conversion.cc @@ -0,0 +1,28 @@ +void reverse(char *reversed) { + char tmp; + for (int i = 0, j = strlen(reversed)-1; i<j; i++, j--) { + tmp = reversed[i]; + reversed[i] = reversed[j]; + reversed[j] = tmp; + } +} + +char *itoa(int number) { + bool neg=number<0?true:false; + number=number<0?-number:number; + int length = (int)(log10(number))+1; + int i=0; + char *s = new char[length]; + do { + s[i++] = number % 10 + '0'; + } while ((number /= 10) > 0); + if (neg){ + s[i] = '-'; + s[++i] = '\0'; + } + else + s[i] = '\0'; + reverse(s); + return s; +} + diff --git a/tests/Concrete_Expression/linearize_integer.hh b/tests/Concrete_Expression/linearize_integer.hh index c0c8bbc..7693ae2 100644 --- a/tests/Concrete_Expression/linearize_integer.hh +++ b/tests/Concrete_Expression/linearize_integer.hh @@ -2,7 +2,7 @@ #define PPL_linearize_int_hh 1

#include "Linear_Form.defs.hh" -#include "Number_Convertion.cc" +#include "Number_Conversion.cc"

namespace Parma_Polyhedra_Library {