[PPL-devel] ppl/interfaces/Prolog Prolog_interface.dox

Thu Mar 24 11:29:33 CET 2005

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2005-03-24 11:29:33

Modified files:
	interfaces/Prolog: Prolog_interface.dox 

Log message:
	Comments concerning the widening and extrapolation predicates
	changed so as to state explicitly that the polyhedron referenced
	by the 1st handle must contain the polyhedron referenced by the
	second handle.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.126&r2=1.127