[gecode-users] propagator - gist problem

Alberto Delgado trosky99 at gmail.com
Wed Nov 19 15:11:56 CET 2008

Hi all,

I'm  implementing a propagator and it works OK when i search for a solution
with Search  but when it comes to Gist an exception is thrown:
Space::clone: Attempt to invoke operation on failed space.

This is what i do to modify the domain of the variable and check whether the
modification is valid:

  ModEvent me =  x1.gq(home,constantValue);
  if (me_failed(me)){
   return ES_FAILED;
  return ES_FIX;

I can assure  that the propagator returns ES_FAILED (a std::cout before the
return ES_FAILED line) when it has to and doing some extra tests i found out
that if instead of modifying the domain of x1 i just check whether the
variable's domain is empty  the exception disappears.
It would be something like:

   return ES_FAILED;
return ES_FIX;

If some extra info about the propagator is needed just let me know, thanks
in advance for any help.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20081119/631f6aab/attachment.htm>

More information about the gecode-users mailing list