Module: ppl/ppl Branch: master Commit: 317f48d0d55391b07624e0f55a6228e3b2d39d6f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=317f48d0d5539... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue May 5 19:20:33 2009 +0200 The rename of Determinate was in fact a bad idea: backtracked. The documentation of the class has been improved. --- NEWS | 2 - src/{COW_Pointset.defs.hh => Determinate.defs.hh} | 116 +++++++++++--------- ..._Pointset.inlines.hh => Determinate.inlines.hh} | 102 +++++++++--------- ...{COW_Pointset.types.hh => Determinate.types.hh} | 8 +- src/Makefile.am | 6 +- src/Pointset_Ask_Tell.cc | 8 +- src/Pointset_Ask_Tell.defs.hh | 8 +- src/Pointset_Ask_Tell.inlines.hh | 12 +- src/Pointset_Ask_Tell.templates.hh | 14 +- src/Pointset_Powerset.cc | 6 +- src/Pointset_Powerset.defs.hh | 8 +- src/Pointset_Powerset.inlines.hh | 24 ++-- src/Pointset_Powerset.templates.hh | 8 +- tests/BD_Shape/membytes1.cc | 2 +- tests/Grid/membytes1.cc | 2 +- tests/Octagonal_Shape/membytes1.cc | 2 +- tests/Polyhedron/membytes1.cc | 2 +- 17 files changed, 169 insertions(+), 161 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=317f48d0d...