[gecode-users] How control the engine??

Rafael Meneses rafaparafernalia at gmail.com
Fri Feb 24 19:02:31 CET 2006


On 2/24/06, Guido Tack <tack at ps.uni-sb.de> wrote:
> > No, the only way you currently can interrupt is in between requesting
> > better solutions from the BAB engine. However this sounds like a useful
> > (and reasonably simple) addition, even though it should be a user supplied
> > stop criterion being more general than just time... But it should be very
> > simple for you to hack something up by yourself and tell us...
>
> Maybe a hint to get you started:
> Have a look at search/bab-copy.cc or search/bab-reco.cc. Both contain a
> similar while(true) loop that does the main exploration. The easiest way to
> implement something like a timeout would be to use the failure count - just
> stop the search when it exceeds a certain limit. You must then return true
> and set s1 to NULL.
>

Thanks...

I finished the patch....

The patch includes an example, in the directory examples the file
golombTimeout.cc


Bye....


--
Rafael Meneses
http://www.labsd.inf.utfsm.cl/~rmeneses
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gecode_1.0.0_parcheTimeout.patch
Type: text/x-patch
Size: 16771 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20060224/3d872f37/attachment.bin>


More information about the gecode-users mailing list