[PPL-devel] ppl interfaces/C/ppl_c.h interfaces/Prolog/Pro ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2003-04-20 11:22:23

Modified files:
	interfaces/C   : ppl_c.h 
	interfaces/Prolog: Prolog_interface.dox pl_check.pl 
	                   ppl_prolog.icc 
	src            : Polyhedron.defs.hh Polyhedron.inlines.hh 
	tests          : remapdim1.cc 

Log message:
	Changed the documentation of the remapping operator to refer to the
	specification provided in doc/definitions.dox; changed the tests to
	avoid experimenting with cases when the behavior is undefined;
	no longer insisting that the partial function is injective (since this
	is required but it is not enough to obtain a well-defined behavior).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&r1=1.86&r2=1.87
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.101&r2=1.102
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&r1=1.63&r2=1.64
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.113&r2=1.114
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.207&r2=1.208
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.77&r2=1.78
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/remapdim1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2