17 Jun
2002
17 Jun
'02
6:20 p.m.
Patricia Hill wrote:
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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