[PPL-devel] ppl doc/definitions.dox src/Partially_Reduced_ ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-08-16 09:34:51

Modified files:
	doc            : definitions.dox 
	src            : Partially_Reduced_Product.defs.hh 
	                 Pointset_Powerset.defs.hh 

Log message:
	Added warnings that the product and powerset domains should only
	be used with simple (non-compound) domains for the disjunct
	of the powerset or components of the product.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.213&r2=1.214
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.defs.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.42&r2=1.43