Module: ppl/ppl Branch: master Commit: f6247133f289fa26ff5d80e6aac36254ba458824 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6247133f289f... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Aug 18 11:14:19 2012 +0200 Modified the Expression_Adapter infrastructure. Prefer the creation of transient, lightweight adapters to the usage of wild reference casts. While at it, improved documentation and systematically renamed `Expression' inner typedefs as `expr_type'. --- src/BD_Shape.templates.hh | 12 +- src/Box.templates.hh | 44 ++++---- src/Congruence.cc | 5 +- src/Congruence.defs.hh | 12 +-- src/Congruence.inlines.hh | 16 +--- src/Constraint.cc | 2 +- src/Constraint.defs.hh | 14 +-- src/Constraint.inlines.hh | 22 +--- src/Expression_Adapter.defs.hh | 191 ++++++++++++++++++--------------- src/Expression_Adapter.inlines.hh | 78 +++++++------- src/Expression_Adapter.types.hh | 5 + src/Expression_Hide_Inhomo.defs.hh | 61 +++++++---- src/Expression_Hide_Inhomo.inlines.hh | 39 ++++--- src/Expression_Hide_Last.defs.hh | 82 ++++++++------ src/Expression_Hide_Last.inlines.hh | 61 ++++++----- src/Generator.defs.hh | 14 +-- src/Generator.inlines.hh | 22 +--- src/Grid.templates.hh | 4 +- src/Grid_Generator.defs.hh | 15 +-- src/Grid_Generator.inlines.hh | 16 +--- src/Linear_Expression.defs.hh | 17 ++-- src/Linear_Expression.inlines.hh | 8 +- src/MIP_Problem.cc | 6 +- src/PIP_Tree.cc | 4 +- src/Polyhedron.templates.hh | 4 +- src/termination.cc | 18 ++-- 26 files changed, 387 insertions(+), 385 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f6247133f...