36 namespace Gecode {
namespace Search {
41 throw NoBest(
"Engine::constrain");
virtual void reset(Space *s)
Reset engine to restart at space s (does nothing)
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
No-goods recorded from restarts.
virtual NoGoods & nogoods(void)
Return no-goods (the no-goods are empty)
virtual void constrain(const Space &b)
Constrain future solutions to be better than b (raises exception)
static NoGoods eng
Empty no-goods.
Exception: Best solution search is not supported
Gecode toplevel namespace