CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2001-11-12 09:23:05
Modified files:
interfaces/Prolog: Prolog_interface.dox
Log message:
A linear expression for defining constraints or generators
can only have integer coefficients.
Therefore division by a number is not allowed and option removed
from the grammar rules.
Also a number can multiply a PPL variable but not an arbitrary linear
expression.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…
