Current restart information during search.
More...
#include <core.hpp>
|
| CRI (unsigned long int r, unsigned long int s, unsigned long int f, const Space *l, NoGoods &ng) |
| Constructor. More...
|
|
unsigned long int | restart (void) const |
| Return number of restarts. More...
|
|
unsigned long int | solution (void) const |
| Return number of solutions since last restart. More...
|
|
unsigned long int | fail (void) const |
| Return number of failures since last restart. More...
|
|
const Space * | last (void) const |
| Return last solution found (possibly NULL) More...
|
|
const NoGoods & | nogoods (void) const |
| Return no-goods recorded from restart. More...
|
|
|
const unsigned long int | r |
| Number of restarts. More...
|
|
const unsigned long int | s |
| Number of solutions since last restart. More...
|
|
const unsigned long int | f |
| Number of failures since last restart. More...
|
|
const Space * | l |
| Last solution found. More...
|
|
const NoGoods & | ng |
| No-goods from restart. More...
|
|
Current restart information during search.
Definition at line 1265 of file core.hpp.
Gecode::CRI::CRI |
( |
unsigned long int |
r, |
|
|
unsigned long int |
s, |
|
|
unsigned long int |
f, |
|
|
const Space * |
l, |
|
|
NoGoods & |
ng |
|
) |
| |
|
inline |
unsigned long int Gecode::CRI::restart |
( |
void |
| ) |
const |
|
inline |
Return number of restarts.
Definition at line 2709 of file core.hpp.
unsigned long int Gecode::CRI::solution |
( |
void |
| ) |
const |
|
inline |
Return number of solutions since last restart.
Definition at line 2713 of file core.hpp.
unsigned long int Gecode::CRI::fail |
( |
void |
| ) |
const |
|
inline |
Return number of failures since last restart.
Definition at line 2717 of file core.hpp.
const Space * Gecode::CRI::last |
( |
void |
| ) |
const |
|
inline |
Return last solution found (possibly NULL)
Definition at line 2721 of file core.hpp.
const NoGoods & Gecode::CRI::nogoods |
( |
void |
| ) |
const |
|
inline |
Return no-goods recorded from restart.
Definition at line 2725 of file core.hpp.
const unsigned long int Gecode::CRI::r |
|
protected |
Number of restarts.
Definition at line 1268 of file core.hpp.
const unsigned long int Gecode::CRI::s |
|
protected |
Number of solutions since last restart.
Definition at line 1270 of file core.hpp.
const unsigned long int Gecode::CRI::f |
|
protected |
Number of failures since last restart.
Definition at line 1272 of file core.hpp.
const Space* Gecode::CRI::l |
|
protected |
Last solution found.
Definition at line 1274 of file core.hpp.
No-goods from restart.
Definition at line 1276 of file core.hpp.
The documentation for this class was generated from the following file: