[gecode-users] Will constraint be examined for a partially assigned IntVarArray?
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.
> 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?
> Gecode users mailing list
> users at gecode.org
More information about the gecode-users