[PPL-devel] ppl/src Determinate.defs.hh Determinate.inline ...

Roberto Bagnara bagnara at cs.unipr.it
Tue Sep 30 13:35:30 CEST 2008


CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	generalized_streams
Changes by:	bagnara at cs.unipr.it	2008-09-30 13:35:30

Modified files:
	src            : Determinate.defs.hh Determinate.inlines.hh 
	                 Makefile.am Partially_Reduced_Product.defs.hh 
	                 Partially_Reduced_Product.templates.hh 
	                 Powerset.defs.hh Powerset.templates.hh 
	                 Variable.cc Variable.defs.hh 
Added files:
	src            : Variable.templates.hh 

Log message:
	Templatization continued.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.templates.hh?cvsroot=ppl&only_with_tag=generalized_streams&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.68.4.1&r2=1.68.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.58.4.1&r2=1.58.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.186.2.1&r2=1.186.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.defs.hh.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.33.2.1&r2=1.33.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.templates.hh.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.32.2.1&r2=1.32.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.templates.hh.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.6.4.1&r2=1.6.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.25&r2=1.25.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsroot=ppl&only_with_tag=generalized_streams&r1=1.55.4.1&r2=1.55.4.2




More information about the PPL-devel mailing list