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
