No-goods recorded from restarts.
More...
#include <core.hpp>
|
| NoGoods (void) |
| Initialize.
|
|
virtual void | post (Space &home) const |
| Post no-goods.
|
|
unsigned long int | ng (void) const |
| Return number of no-goods posted.
|
|
void | ng (unsigned long int n) |
| Set number of no-goods posted to n
|
|
virtual | ~NoGoods (void) |
| Destructor.
|
|
|
unsigned long int | n |
| Number of no-goods.
|
|
No-goods recorded from restarts.
Definition at line 1588 of file core.hpp.
◆ NoGoods()
Gecode::NoGoods::NoGoods |
( |
void | | ) |
|
|
inline |
◆ ~NoGoods()
Gecode::NoGoods::~NoGoods |
( |
void | | ) |
|
|
inlinevirtual |
◆ post()
void Gecode::NoGoods::post |
( |
Space & | home | ) |
const |
|
virtual |
◆ ng() [1/2]
unsigned long int Gecode::NoGoods::ng |
( |
void | | ) |
const |
|
inline |
Return number of no-goods posted.
Definition at line 3055 of file core.hpp.
◆ ng() [2/2]
void Gecode::NoGoods::ng |
( |
unsigned long int | n | ) |
|
|
inline |
Set number of no-goods posted to n
Definition at line 3059 of file core.hpp.
unsigned long int Gecode::NoGoods::n |
|
protected |
Number of no-goods.
Definition at line 1591 of file core.hpp.
◆ eng
The documentation for this class was generated from the following files: