Are the following three constraints equivalent?
Objective: To extract the d.val() th element in tmpArray into an IntValArray
groupStudentVal so that further constraint can be written on it.
tmpArray is int[]
groupStudentVal is IntValArray
d is SetVarGlbValue of a SetVar
(1) post(this, tmpArray[d.val()] == groupStudentVal[index]);
(2) rel(this, groupStudentVal[index], IRT_EQ, tmpArray[d.val()]);
(3) post(this, tt(groupStudentVal[index]==tmpArray[d.val()]));
Yahoo!香港提供網上安全攻略，教你如何防範黑客! 請前往 http://hk.promo.yahoo.com/security/ 了解更多!_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
