ppl doc/definitions.dox interfaces/Prolog/Prol ...
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.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter...
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
participants (2)
-
Enea Zaffanella -
Patricia Hill