Stefano,
thanks for the bug report. I just fixed it in the trunk (empty
IntSets now have min=Int::Limits::max and max=Int::Limits::min).
Cheers,
Guido
Stefano Gualandi wrote:
> Hi,
> there is a strange behavior of one of the SetVarArray constructors,
> in the trunk version.
> In pr
Hi,
there is a strange behavior of one of the SetVarArray constructors, in
the trunk version.
In practice, if you try to define an array of set variables as follows:
x ( *this, 4, IntSet::empty, 2, 4, 0, 4 )
it raises an exception, since it fails the test in the file gecode/set/
array.cp
