choco-users Mailing List for choco

Hi!

I want to use Choco in an application where I'd like to use  
constraint programming not so much for searching for optimal  
solutions but rather to just the constraint network to propagate  
values and see how different choices of values affect other variables  
in the system. In the end it's going to be used in a decision support  
system of sorts.

I thought that using PalmProblem for modelling my domain would be a  
good idea since it allows me to add and remove constraints  
dynamically. However, boolean constraints don't seem to work with  
PalmProblems for some reason and I would very much like to use them  
in PalmProblems..

I then figured that this could easily be fixed by letting  
AbstractBinBoolConstraint and AbstractLargeBoolConstraint implement  
PalmConstraint and PalmIntVarListener, add constraintPlugins in the  
constructors of these classes along with default methods for  
propagating restoration of values and bounds to sub-constraints.  
However, I have run into some problems and I'm starting to think that  
there may be some fundamental problems for doing this. Therefore I  
thought I'd just ask some questions to clarify things:

* Is there some special reason why boolean constraints cannot be used  
with palm problems by default?
* Do you have any suggestions for how to implement the PalmConstraint  
and PalmIntVarListener/PalmRealVarListener interfaces in the toplevel  
abstract boolean constraint classes? How should the variable index be  
treated and how about translating the awakeOnRestore* methods into  
other awake methods?

Best regards
Ola Leifler