Probe engine for LDS
More...
#include <lds.hh>
|
unsigned long int | fail |
| Number of failed nodes in search tree. More...
|
|
unsigned long int | node |
| Number of nodes expanded. More...
|
|
unsigned long int | depth |
| Maximum depth of search stack. More...
|
|
unsigned long int | restart |
| Number of restarts. More...
|
|
unsigned long int | nogood |
| Number of no-goods posted. More...
|
|
unsigned long int | propagate |
| Number of propagator executions. More...
|
|
bool | wmp |
| Whether a weakly monotonic propagator might have been executed. More...
|
|
Probe engine for LDS
Definition at line 48 of file lds.hh.
◆ Probe()
Gecode::Search::Sequential::Probe::Probe |
( |
void |
| ) |
|
|
inline |
Initialize.
Definition at line 170 of file lds.hh.
◆ ~Probe()
Gecode::Search::Sequential::Probe::~Probe |
( |
void |
| ) |
|
|
inline |
Destructor.
Definition at line 198 of file lds.hh.
◆ init()
void Gecode::Search::Sequential::Probe::init |
( |
Space * |
s | ) |
|
|
inline |
Initialize with space s.
Definition at line 174 of file lds.hh.
◆ reset()
void Gecode::Search::Sequential::Probe::reset |
( |
Space * |
s, |
|
|
unsigned int |
d |
|
) |
| |
|
inline |
Reset with space s and discrepancy d.
Definition at line 179 of file lds.hh.
◆ statistics()
Statistics Gecode::Search::Sequential::Probe::statistics |
( |
void |
| ) |
const |
|
inline |
Return statistics.
Definition at line 188 of file lds.hh.
◆ next()
Space * Gecode::Search::Sequential::Probe::next |
( |
const Options & |
o | ) |
|
|
inline |
Search for next solution
Definition at line 205 of file lds.hh.
◆ done()
bool Gecode::Search::Sequential::Probe::done |
( |
void |
| ) |
const |
|
inline |
Test whether probing is done.
Definition at line 193 of file lds.hh.
◆ ds
Stack storing current path in search tree
Definition at line 74 of file lds.hh.
◆ cur
Space* Gecode::Search::Sequential::Probe::cur |
|
protected |
Current space.
Definition at line 76 of file lds.hh.
unsigned int Gecode::Search::Sequential::Probe::d |
|
protected |
Current discrepancy.
Definition at line 78 of file lds.hh.
◆ exhausted
bool Gecode::Search::Sequential::Probe::exhausted |
|
protected |
Whether entire search space has been exhausted.
Definition at line 80 of file lds.hh.
The documentation for this class was generated from the following file: