[PPL-devel] ppl src/AskTell.inlines.hh src/Determinate.def ...

Roberto Bagnara roberto at spartacus.cs.unipr.it
Sun Aug 4 13:35:50 CEST 2002


CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2002-08-04 13:35:50

Modified files:
	src            : AskTell.inlines.hh Determinate.defs.hh 
	                 Determinate.inlines.hh PowerSet.defs.hh 
	                 PowerSet.inlines.hh 
	tests          : mc91.cc 

Log message:
	CS::operator*=() renamed CS::meet_assign().
	CS::operator+=() renamed CS::upper_bound_assign().

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3




More information about the PPL-devel mailing list