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 1613 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 1616 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 3070 of file core.hpp.
◆ MetaInfo() [2/2]
Gecode::MetaInfo::MetaInfo |
( |
unsigned int |
a | ) |
|
|
inline |
Constructor for portfolio-based engine.
Definition at line 3078 of file core.hpp.
◆ type()
Return type of information.
Definition at line 3082 of file core.hpp.
◆ restart()
unsigned long int Gecode::MetaInfo::restart |
( |
void |
| ) |
const |
|
inline |
Return number of restarts.
Definition at line 3086 of file core.hpp.
◆ solution()
unsigned long int Gecode::MetaInfo::solution |
( |
void |
| ) |
const |
|
inline |
Return number of solutions since last restart.
Definition at line 3091 of file core.hpp.
◆ fail()
unsigned long int Gecode::MetaInfo::fail |
( |
void |
| ) |
const |
|
inline |
Return number of failures since last restart.
Definition at line 3096 of file core.hpp.
◆ last()
const Space * Gecode::MetaInfo::last |
( |
void |
| ) |
const |
|
inline |
Return last solution found (possibly NULL)
Definition at line 3101 of file core.hpp.
◆ nogoods()
const NoGoods & Gecode::MetaInfo::nogoods |
( |
void |
| ) |
const |
|
inline |
Return no-goods recorded from restart.
Definition at line 3106 of file core.hpp.
◆ asset()
unsigned int Gecode::MetaInfo::asset |
( |
void |
| ) |
const |
|
inline |
Return number of asset in portfolio.
Definition at line 3111 of file core.hpp.
const Type Gecode::MetaInfo::t |
|
protected |
Type of information.
Definition at line 1624 of file core.hpp.
const unsigned long int Gecode::MetaInfo::r |
|
protected |
Number of restarts.
Definition at line 1628 of file core.hpp.
const unsigned long int Gecode::MetaInfo::s |
|
protected |
Number of solutions since last restart.
Definition at line 1630 of file core.hpp.
const unsigned long int Gecode::MetaInfo::f |
|
protected |
Number of failures since last restart.
Definition at line 1632 of file core.hpp.
const Space* Gecode::MetaInfo::l |
|
protected |
Last solution found.
Definition at line 1634 of file core.hpp.
◆ ng
const NoGoods& Gecode::MetaInfo::ng |
|
protected |
No-goods from restart.
Definition at line 1636 of file core.hpp.
const unsigned int Gecode::MetaInfo::a |
|
protected |
Number of asset in portfolio.
Definition at line 1641 of file core.hpp.
The documentation for this class was generated from the following file: