[PPL-devel] Topology-compatibility

[Enea Zaffanella]

Patricia Hill wrote:
> CVSROOT:	/cvs/ppl
> Module name:	ppl
> Changes by:	hill at cs.unipr.it	2002-06-17 17:44:14
> 
> Modified files:
> 	doc            : definitions.dox 
> 	interfaces/Prolog: Prolog_interface.dox 
> 
> Log message:
> 	Added the condition that the CC92-widening requires the polyhedra to
> 	have the same topology.

I think that the topology-compatibility requirement is the standard one 
we have for ALL operators, so that it should not be explicitly mentioned 
for the widening operators (otherwise, it would seem that the other 
operators do not require it).

ciao,
Enea