Hi,
and thanks to everyone for your very helpful answers. I can see a way
now, how to do it efficiently. I must admit that in the meantime, I
had installed a workaround that is correct, too, but so inefficient
that I would never show you...
I will write some tests first and then... ;-)
I just wanted to add, why I am doing this...
Actually,
!my_predicate(x0.val(),i.val())
would look like
!(*callback)(x0.val(), i.val())),
so this is my first attempt to be able to write a very simple
propagator in Lisp.
Cheers,
Kilian
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users