[gecode-users] Difference between rel(), post() and post(tt()) ?

[Jeffrey]

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/ 了解更多!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090110/9268a91c/attachment.htm>