Package tmpw00-src.tar.gz or tmpw00-src.zip

This package gives a complete version of the code that illustrates
the paper :

Alexandre Duret-Lutz and Thierry G'eraud and Akim Demaille.
How to Make Concepts Explicit in Generic Programming -- A Step Towards
Bounded Parametric Polymorphism in C++.
Submitted to the Workshop on C++ Template Programming, held in
Conjunction with the 2nd International Symposium on Generative and
Component-Based Software Engineering (GCSE 2000), Erfurt, Germany,
October 2000.


This package contains the files:

    README		this file

    sutter1.cc		first solution proposed by Herb Sutter
			Cf. section 2.1

    sutter2.cc		second solution proposed by Herb Sutter
			Cf. section 2.1

    proxy.cc		first attempt using a generic proxy
			Cf. section 2.1

    proposal.cc		our proposal
			Cf. section 2.2

    proposal-err*.cc    bugs and error messages
			Cf. section 2.3.2

    overloading.cc	massive overloading of generic procedures
			Cf. section 2.3.3

    multicompliance.cc  multiple concept compliance
			Cf. section 3.1

    refinement.cc	single and multiple concept refinement
			Cf. section 3.2

    diamond.cc		diamond concept refinement
			Cf. section 3.2

    bigsample/		a quite large sample of our proposal
			*soon available*
