[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-07 10:47:12

Modified files:
	interfaces     : ppl_interface_generator_common.m4 
	                 ppl_interface_generator_common_dat.m4 
	                 ppl_interface_generator_common_procedure_generators.m4 

Log message:
	Enabled the Pointset_Powerset domain to have a
	Rational_Box as the disjunct and the Product domains
	to have a Rational_Box as one of its component domains
	in all the interfaces.
	
	To allow for a number of missing methods in the Box domain that
	cannot therefore be provided in any product domain that has the
	Box as a component, defined two generic macros in
	ppl_interface_generator_common.m4 that intersect sequences of
	comma-separated strings: one that intersects two sequences and
	one that intersects three sequences.
	
	Also now support a new notation in a procedure string -
	e.g., "?box" means don't include this procedure for any
	product that has Box as one of its components.
	This option may be removed in the future and its use
	avoided by using the sequence intersection macros described
	above.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.58&r2=1.59
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&r1=1.10&r2=1.11