[PPL-devel] ppl/interfaces ppl_interface_generator_common. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-02-08 13:07:29

Modified files:
	interfaces     : ppl_interface_generator_common.m4 
	                 ppl_interface_generator_common_dat.m4 

Log message:
	In the last commit, the message said
	"the change has
	a "fixme" since this indicates that the way the replacements for all
	patterns is handled needs improving and that this local change
	should be made more general."
	This is now fixed and the main replacement macros now incorporate
	this improvement.
	
	Improved the specification of the replacements for the
	binary operators for the Pointset_Powerset domains.
	
	A few minor improvements to avoid unnecessary computations.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.60&r2=1.61