Programmation par contrainte JAVA CHOCO

Bonjour tous le monde,

Je fais un programme en java avec CHOCO pour la résolution de problèmes avec contraintes et j'aimerais savoir à quoi sert la fonction sum() de CHOCO ? Elle prend en argument un IntegerVariable [], mais que renvoie-t-elle?

Merci à ceux qui prendront la peine de me lire

a tout hasard, avec un nom pareil: la somme?

Et plus complètement tu trouveras la lite des contraintes et opérateurs utilisables dans des contraintes dans le user guide de choco:

http://choco-solver.net/index.php?ti...ic_constraints


Dans ton cas la méthode sum sert à réaliser la somme d'un tableau de n variables, qui devra être utilisé dans une contrainte
par exemple

Code:

---

1 2	myPb.post(myPb.neq(myPb.sum(vars1), var2));

---

signifique que la somme du tableau d'entiers vars1 doit être différent de var2.

Faisait longtemps qu'j'avais pas trifouillé dans de la PPC :D

Je comprends mieux. J'additionne toutes les cases du tableau d'entiers.

Merci beaucoup.