[PPL-devel] ppl/src BD_Shape.templates.hh

[Elena Mazzi]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	mazzi at cs.unipr.it	2006-10-27 12:40:35

Modified files:
	src            : BD_Shape.templates.hh 

Log message:
	Corrected a bug in BD_Shape::relation_with(const Constraint& c)
	when the constraint is an equality and is disjoint from BDS.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.42&r2=1.43