34namespace Gecode {
namespace Search {
namespace Seq {
36 template<
class Tracer>
41 tracer.engine(SearchTracer::EngineType::DFS, 1U);
54 template<
class Tracer>
70 template<
class Tracer>
76 template<
class Tracer>
97 cur =
path.recompute(
d,
opt.a_d,*
this,tracer);
104 if (tracer && (
path.entries() > 0)) {
108 unsigned int nid = tracer.nid();
109 switch (cur->status(*
this)) {
113 tracer.wid(), nid, *cur);
125 tracer.wid(), nid, *cur);
129 (void) cur->choice();
138 if ((
d == 0) || (
d >=
opt.c_d)) {
148 tracer.wid(), nid, *cur, ch);
162 template<
class Tracer>
168 template<
class Tracer>
175 template<
class Tracer>
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Choice for performing commit
No-goods recorded from restarts.
void init(unsigned int wid, unsigned int nid, unsigned int a)
Initialize.
bool clone
Whether engines create a clone when being initialized.
Space * next(void)
Search for next solution
Statistics statistics(void) const
Return statistics.
NoGoods & nogoods(void)
Return no-goods.
void constrain(const Space &b)
Constrain future solutions to be better than b (should never be called)
DFS(Space *s, const Options &o)
Initialize for space s with options o.
Search tree edge for recomputation
unsigned int truealt(void) const
Return true number for alternatives (excluding lao optimization)
unsigned int nid(void) const
Return node identifier.
const Choice * choice(void) const
Return choice.
unsigned long int fail
Number of failed nodes in search tree.
SpaceStatus status(StatusStatistics &stat=unused_status)
Query space status.
@ SS_BRANCH
Space must be branched (at least one brancher left)
@ SS_SOLVED
Space is solved (no brancher left)
@ SS_FAILED
Space is failed
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
@ FAILED
Node representing failure.
@ SOLVED
Node representing a solution.
@ BRANCH
Node representing a branch.
const unsigned int nogoods_limit
Depth limit for no-good generation during search.
Space * snapshot(Space *s, const Options &o)
Clone space s dependening on options o.
Gecode toplevel namespace
void path(Home home, const IntVarArgs &x, IntVar s, IntVar e, IntPropLevel ipl=IPL_DEF)
Post propagator such that x forms a Hamiltonian path.
Gecode::FloatVal c(-8, 8)
#define GECODE_NEVER
Assert that this command is never executed.