Go to the documentation of this file.
41 namespace Gecode {
namespace Search {
namespace Meta {
52 if ((m_stop != NULL) && m_stop->
stop(m_stat+s,o)) {
105 long unsigned int nl = ++(*co);
129 throw NoBest(
"RBS::constrain");
virtual Space * next(void)=0
Return next solution (NULL, if none exists or search has been stopped)
Space * clone(bool share_data=true, bool share_info=true, CloneStatistics &stat=unused_clone) const
Clone space.
virtual void constrain(const Space &best)
Constrain function for best solution search.
virtual NoGoods & nogoods(void)
Return no-goods (the no-goods are empty)
unsigned long int fail
Number of failed nodes in search tree.
Exception: Best solution search is not supported
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
Gecode toplevel namespace
virtual bool master(const MetaInfo &mi)
Master configuration function for meta search engines.
No-goods recorded from restarts.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Post propagator for SetVar SetOpType SetVar SetRelType r
virtual Statistics statistics(void) const =0
Return statistics.
#define GECODE_NEVER
Assert that this command is never executed.
SpaceStatus status(StatusStatistics &stat=unused_status)
Query space status.
virtual bool stopped(void) const =0
Check whether engine has been stopped.
unsigned long int nogood
Number of no-goods posted.
virtual void reset(Space *s)
Reset engine to restart at space s (does nothing)
virtual bool slave(const MetaInfo &mi)
Slave configuration function for meta search engines.
unsigned long int restart
Number of restarts.
int n
Number of negative literals for node type.
virtual void constrain(const Space &b)
Constrain future solutions to be better than b (raises exception)
@ SS_FAILED
Space is failed
unsigned long int ng(void) const
Return number of no-goods posted.