40 namespace Gecode {
namespace Search {
45 throw NoBest(
"Engine::constrain");
virtual void reset(Space *s)
Reset engine to restart at space s (does nothing)
struct Gecode::@585::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