[PPL-devel] [GIT] ppl/ppl(COW): Add a COW_Pointer class.

[Marco Poletti]

Module: ppl/ppl
Branch: COW
Commit: 72aefcb479a083acfdacd3cd166d22772bfa7a94
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72aefcb479a083acfdacd3cd166d22772bfa7a94

Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Dec 20 16:02:55 2010 +0100

Add a COW_Pointer class.

---

 src/COW_Pointer.defs.hh    |  103 +++++++++++++++++++++
 src/COW_Pointer.inlines.hh |  214 ++++++++++++++++++++++++++++++++++++++++++++
 src/COW_Pointer.types.hh   |   24 +++++
 src/Makefile.am            |    3 +
 4 files changed, 344 insertions(+), 0 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=72aefcb479a083acfdacd3cd166d22772bfa7a94