Module: ppl/ppl Branch: master Commit: ead00b0ac972c863e5960555ef868585ec61226f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead00b0ac972c... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 21:08:08 2009 +0200 Bounded_Integer_Type_Signedness renamed Bounded_Integer_Type_Representation. --- src/BD_Shape.defs.hh | 6 +++--- src/BD_Shape.templates.hh | 4 ++-- src/Box.defs.hh | 6 +++--- src/Box.templates.hh | 4 ++-- src/Grid.defs.hh | 6 +++--- src/Grid_public.cc | 10 +++++----- src/Interval.defs.hh | 10 +++++----- src/Octagonal_Shape.defs.hh | 6 +++--- src/Octagonal_Shape.templates.hh | 4 ++-- src/Polyhedron.defs.hh | 6 +++--- src/Polyhedron_public.cc | 6 +++--- src/globals.types.hh | 2 +- src/wrap_assign.hh | 6 +++--- 13 files changed, 38 insertions(+), 38 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ead00b0ac...