CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-05-27 13:21:09
Modified files:
interfaces/Prolog: Prolog_interface.dox
Log message:
Prolog interface predicates and their names in the
documentation now agree with each other.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-05-24 10:34:42
Modified files:
src : Constraint.cc
Log message:
Corrected an error in the function Constraint::is_trivial_true(): a
strict inequality such as `lhs - k > 0' can not be trivial true if
`k' is a non negative integer.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…