Generated on Sat Jul 28 2018 17:21:19 for Gecode by doxygen 1.8.14
worker.hh File Reference

(Revision: 14037)

#include <gecode/search.hh>

Go to the source code of this file.

Classes

class  Gecode::Search::Worker
 Search worker statistics More...
 

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Search
 Search engines