[gecode-users] advice on building interface (with Haskell)

[Jorge Marques Pelizzoni]

Hi, all! I am considering interfacing Haskell with gecode, although I'm
totally unexperiened with the latter (!). Actually, I have a Mozart/Oz
background and can see the strong resemblance between the two systems, but
there are some points that are not quite clear to me. First of all, do you
think using a simple, fixed subclass of Space instantiating the copy
methods with something like this:

SimpleSpace(bool share, SimpleSpace &other): Space(share, other) { }

virtual Space* copy(bool share) {
   return new SimpleSpace(share,*this);
}

would do the job? I mean: my idea would be to create such objects and
(indirectly, from Haskell) apply propagator-imposing functions (post,
etc.) on them. Have you done anything much different for Alice?

My real doubt is: how far one can go with such a naïve copy semantics? I
often noticed specialized versions of copy in the examples...

Thanks in advance. Cheers,

Jorge M. Pelizzoni
ICMC - Universidade de São Paulo