Information passed by meta search engines.
More...
#include <core.hpp>
|
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...
|
|
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 int | a |
| Number of asset in portfolio. More...
|
|
unsigned int | asset (void) const |
| Return number of asset in portfolio. More...
|
|
Information passed by meta search engines.
Definition at line 1539 of file core.hpp.
◆ Type
Which type of information is provided.
Enumerator |
---|
RESTART | Information is provided by a restart-based engine.
|
PORTFOLIO | Information is provided by a portfolio-based engine.
|
Definition at line 1542 of file core.hpp.
◆ MetaInfo() [1/2]
Gecode::MetaInfo::MetaInfo |
( |
unsigned long int |
r, |
|
|
unsigned long int |
s, |
|
|
unsigned long int |
f, |
|
|
const Space * |
l, |
|
|
NoGoods & |
ng |
|
) |
| |
|
inline |
Constructor for restart-based engine.
Definition at line 2990 of file core.hpp.
◆ MetaInfo() [2/2]
Gecode::MetaInfo::MetaInfo |
( |
unsigned int |
a | ) |
|
|
inline |
Constructor for portfolio-based engine.
Definition at line 2998 of file core.hpp.
◆ type()
Return type of information.
Definition at line 3002 of file core.hpp.
◆ restart()
unsigned long int Gecode::MetaInfo::restart |
( |
void |
| ) |
const |
|
inline |
Return number of restarts.
Definition at line 3006 of file core.hpp.
◆ solution()
unsigned long int Gecode::MetaInfo::solution |
( |
void |
| ) |
const |
|
inline |
Return number of solutions since last restart.
Definition at line 3011 of file core.hpp.
◆ fail()
unsigned long int Gecode::MetaInfo::fail |
( |
void |
| ) |
const |
|
inline |
Return number of failures since last restart.
Definition at line 3016 of file core.hpp.
◆ last()
const Space * Gecode::MetaInfo::last |
( |
void |
| ) |
const |
|
inline |
Return last solution found (possibly NULL)
Definition at line 3021 of file core.hpp.
◆ nogoods()
const NoGoods & Gecode::MetaInfo::nogoods |
( |
void |
| ) |
const |
|
inline |
Return no-goods recorded from restart.
Definition at line 3026 of file core.hpp.
◆ asset()
unsigned int Gecode::MetaInfo::asset |
( |
void |
| ) |
const |
|
inline |
Return number of asset in portfolio.
Definition at line 3031 of file core.hpp.
const Type Gecode::MetaInfo::t |
|
protected |
Type of information.
Definition at line 1550 of file core.hpp.
const unsigned long int Gecode::MetaInfo::r |
|
protected |
Number of restarts.
Definition at line 1554 of file core.hpp.
const unsigned long int Gecode::MetaInfo::s |
|
protected |
Number of solutions since last restart.
Definition at line 1556 of file core.hpp.
const unsigned long int Gecode::MetaInfo::f |
|
protected |
Number of failures since last restart.
Definition at line 1558 of file core.hpp.
const Space* Gecode::MetaInfo::l |
|
protected |
Last solution found.
Definition at line 1560 of file core.hpp.
◆ ng
const NoGoods& Gecode::MetaInfo::ng |
|
protected |
No-goods from restart.
Definition at line 1562 of file core.hpp.
const unsigned int Gecode::MetaInfo::a |
|
protected |
Number of asset in portfolio.
Definition at line 1567 of file core.hpp.
The documentation for this class was generated from the following file: