Dear Jeffrey, Just a tip. It might be a good idea to read up on constraint programming in general. I fear that none of the questions you have asked so far have been Gecode-specific. I think it might be a good idea to familiarize yourself with the very idea of constraint propagation (for example, the Gecode documentation states clearly that linear constraints by default achieve bounds consistency over the real numbers. That would have answered your question entirely.).
All the best Christian -- Christian Schulte, www.it.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Guido Tack Sent: Wednesday, April 15, 2009 12:07 AM To: Jeffrey Cc: gec...@gecode.org Subject: Re: [gecode-users] Will constraint be examined for a partially assigned IntVarArray? The constraint is even "examined" (i.e. propagated) when variables are not assigned but only their bounds change. Why don't you just try it out? Look at the search tree of a simple model with a single constraint in Gist, and inspect the nodes to see what's going on. Guido Jeffrey wrote: > I have an IntVarArray and a linear constraint saying that their sum > should not exceed a certain maximum value. > > Will such constraint be examined for every assignment steps? or it > won't be examinated until all the variables are assigned? > > In my case, because the domain of all IntVar are positive values, it > makes no sense to continue the branch if the assigned values are > already exceed the maximum. How can I enforce that? > > Yahoo!香港提供網上安全攻略，教你如何防範黑客!了解 > 更多_______________________________________________ > Gecode users mailing list > us...@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
