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

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Guido Tack
Sent: Wednesday, April 15, 2009 12:07 AM
To: Jeffrey
Cc: gecode at 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
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users


_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users