[GIT] ppl/ppl(master): Added declarations and stub implementations for drop_some_non_integer_points ().
Module: ppl/ppl Branch: master Commit: b8bd2d5df01c50ebf74723388bef3c988b410289 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8bd2d5df01c5... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon May 18 08:16:34 2009 +0200 Added declarations and stub implementations for drop_some_non_integer_points(). --- src/BD_Shape.defs.hh | 29 +++++++++++++++++++++++++++++ src/BD_Shape.inlines.hh | 16 ++++++++++++++++ src/BD_Shape.templates.hh | 33 +++++++++++++++++++++------------ src/Box.defs.hh | 29 +++++++++++++++++++++++++++++ src/Box.templates.hh | 27 +++++++++++++++++++++++++++ src/Grid.defs.hh | 29 +++++++++++++++++++++++++++++ src/Octagonal_Shape.defs.hh | 29 +++++++++++++++++++++++++++++ src/Octagonal_Shape.inlines.hh | 16 ++++++++++++++++ src/Octagonal_Shape.templates.hh | 38 ++++++++++++++++++++++++-------------- src/Polyhedron.defs.hh | 29 +++++++++++++++++++++++++++++ 10 files changed, 249 insertions(+), 26 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b8bd2d5df...
participants (1)
-
Roberto Bagnara