[gecode-users] Branch specification of ValSplitMin incorrect?
Guido Tack
tack at ps.uni-sb.de
Thu Apr 3 13:11:29 CEST 2008
David Rijsman wrote:
> Small correction, I think it should be "<=" and ">"
>
> On Thu, Apr 3, 2008 at 12:50 PM, David Rijsman
> <davidrijsman at gmail.com> wrote:
>> I am using the reflection functionality and I think the specification
>> of the branch for integer value selection for splitting domain lower
>> half first seems to be incorrect (void
>> ValSplitMin<View>::branchingSpec). The first alternative is specified
>> as "=" and the second alternative as ">". I think it should be "<"
>> and
>> ">="? The value and variable specification seem to be ok.
Thanks! Yes, it should be <= and >. I've fixed it in the svn.
Cheers,
Guido
More information about the gecode-users
mailing list