Fixing a bug reported by Jeremias affecting the handling of glue and
penalty elements after a break when the algorithm restarts.
Now it should be ok. A nasty little bug, anyway ...
Unfortunately, I had to duplicate a few lines (a for loop looking for glue
elements after a feasible break): the
Great! Thanks, Luca, it works fine.
On 06.10.2005 17:07:01 Luca Furini wrote:
Fixing a bug reported by Jeremias affecting the handling of glue and
penalty elements after a break when the algorithm restarts.
Now it should be ok. A nasty little bug, anyway ...
Unfortunately, I had to