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