Discussion :

[geek21]

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

[tchize_]

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

[sinok]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[geek21]

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

Merci beaucoup.