40 namespace Gecode {
namespace Search {
virtual void reset(Space *s)
Reset engine to restart at space s (does nothing)
No-goods recorded from restarts.
virtual NoGoods & nogoods(void)
Return no-goods (the no-goods are empty)
static NoGoods eng
Empty no-goods.
Gecode toplevel namespace