[PPL-devel] ppl ./NEWS src/Variable.cc src/Variable.defs.h ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2003-08-18 22:32:12

Modified files:
	.              : NEWS 
	src            : Variable.cc Variable.defs.hh 
	tests          : writevariable1.cc 

Log message:
	The type of output functions for the class Variable,
	Variable::Output_Function_Type, is now defined as
	void Output_Function_Type(std::ostream& s, const Variable& v).
	In other words, `v' is now passed by const reference and not by value.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.76&r2=1.77
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writevariable1.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8