[gecode-users] Assign or Branch

[Vincent Barichard]

Thank you very much for your explanation. I understand now.

Cheers,
Vincent

Le 18 janv. 2010 à 19:13, Mikael Zayenz Lagerkvist a écrit :

> On Mon, Jan 18, 2010 at 6:16 PM, Vincent Barichard
> <Vincent.Barichard at univ-angers.fr> wrote:
>> I wondered what are the differences between "branch(home, x, INT_VAR_NONE, INT_VAL_MIN)" and "assign(home,x,INT_ASSIGN_MIN)"?
>> In the documentation, it is said that after an assignment has been done, the next assignment will be done only after the effect of the previous assignment has been propagated. Is it only meaningful during recomputation? Until now I used branch, should I use assign instead ?
> 
> The assign function adds a unary branching, that is, it will not
> reconsider other values for a variable on backtrack.
> 
> Unary branchings are typically used to assign values to variables when
> another branching has finished an one knows that the problem is
> feasible, but not what some exact values will be. For example,
> scheduling applications often use a branching that orders all tasks.
> When the tasks are ordered, they can be assigned to their first
> possible starting time.
> 
> 
>> Just one more little thing, in section 9.2.2, I think it should be "branch(home, x, INT_VAR_NONE, INT_VAL_MIN)" instead of "branch(home, x, INT_VAR_NONE, INT_VAR_MIN)"?
> 
> Thanks for spotting it. I've fixed that now.
> 
> Cheers,
> Mikael
> 
> -- 
> Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
> 
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

Vincent Barichard         Université d'Angers (LERIA)
Tel: 02 41 73 52 06      Département Informatique
Fax: 02 41 73 50 73     H203