[gecode-users] Branch specification of ValSplitMin incorrect?

[David Rijsman]

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.
>
> David Rijsman
>