[gecode-users] Removing propagators from a Space

Max Ostrowski ostrowsk at cs.uni-potsdam.de
Fri Aug 17 15:24:18 CEST 2012


Is there a way to remove all propagators from a space "a".
In this way the space contains only the restricted variables so far but
no constraints on them.
I need such a space and i want to avoid creating an empty space "b" and
adding all variables and constraining them to the values they had in "a".


Is this possible?


Best,
Max



More information about the users mailing list