[gecode-users] Creating an empty IntSet?

[Guido Tack]

Mikael Zayenz Lagerkvist wrote:

> In C++ there is a constructor for creating the empty InSet, as well as
> a static member representing the empty set. Since we did not include
> either in Gecode/ (an oversight), you can use the fact that, IIRC,
> IntSet(1, 0) will create an empty IntSet.

I'm afraid there's a bug in the current version of the IntSet  
constructor.  You can however construct the empty set using IntSet(new  
int[0]).

Guido