[ sat4j-Bugs-304526 ] Improve and fix periodic constraint cleanup

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Bugs item #304526, was opened at 19/01/2006 14:45
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=304526&group_id=228

Category: core
Group: v1.7
>Status: Closed
Resolution: None
Priority: 6
Submitted By: Daniel Le Berre (leberre)
Assigned to: Nobody (None)
Summary: Improve and fix periodic constraint cleanup

Initial Comment:
We just found that we had a constraints cleanup issue with PB constraints 
which
are for the moment always locked.

the content of the locked() method must be carefully checked for all
constraints. CBClause.locked() is suspected to be wrong.
 

----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=304526&group_id=228