Re: [gecode-users] sum of IntArgs

2013-08-12 Thread Christian Schulte
Will add it to the trunk after holidays. C -- Christian Schulte, www.ict.kth.se/~cschulte -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Philippe Sent: Monday, August 12, 2013 05:18 PM To: users@gecode.org Subject: [gecode-users] sum of

[gecode-users] sum of IntArgs

2013-08-12 Thread Philippe
Hi to all Geocode authors, I needed to compute the sum of IntArgs the same way we compute the sum of IntVarArray. Tell me if i'm wrong, but it seems that this facility is not natively provided by Gecode. For now, i use my own implementation which do the job (i'm not sure of the code below but