CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-06-18 17:00:20
Modified files:
doc : definitions.dox
Log message:
Corrected a typo in the definition of closed polyhedra.
Improved the paragraph on dimension compatibility to make it independent
from th epolyhedra topology.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-06-18 15:51:20
Modified files:
interfaces/Prolog: clpq2.pl
Log message:
Just a little more robust in that it fails if there are
variables in non-integer positions in a query rather than crashing.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…