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

Guido Tack tack at ps.uni-sb.de
Wed Apr 15 00:06:44 CEST 2009

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.


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

More information about the gecode-users mailing list