[gecode-users] Will constraint be examined for a partially assigned IntVarArray?

[Guido Tack]

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
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users