No, that will not work at all. Most constraints assume signedness of integer variables and there are many datatypes that directly depend on the choice of the type for integer variables.
So, unfortunately, there is no easy way. Cheers Christian -- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of negate...@gmail.com Sent: Friday, April 04, 2014 8:42 AM To: users@gecode.org Subject: [gecode-users] Unsigned Int Constraint Variables Hi, Is there anyway by which the bounds of an integer constraint variable be set to 0..2**32-1 (0xFFFF_FFFF) instead of the bounds for a signed integer (-0x7FFF_FFFF, 0x7FFF_FFFF) ? I tried recompiling gecod by setting - gecode/int.hh Gecode::Int::Limits.max to UINT_MAX -1 (original INT_MAX-1) - gecode/int.hh Gecode::Int::Limits.min to 0 (original -max) - gecode/support/int-type.hpp IntTypeTraits<signed int> min = 0 (originally INT_MIN) - gecode/support/int-type.hpp IntTypeTraits<signed int> max = UNIT_MAX-1 (originally INT_MAX) but these do not help, in recognizing variables that may have values > 2**31. Any pointers ? Thanks ~az _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
