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 > <[email protected]> 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 > [email protected] > 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 _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
