[gecode-users] iterating/filtering IntView

Kilian Sprotte ml13 at onlinehome.de
Thu May 17 11:48:35 CEST 2007


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





More information about the gecode-users mailing list