No-goods recorded from restarts. More...
#include <core.hpp>
Public Member Functions | |
NoGoods (void) | |
Initialize. | |
virtual void | post (Space &home) |
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. | |
Protected Attributes | |
unsigned long int | n |
Number of no-goods. |
Gecode::NoGoods::NoGoods | ( | void | ) | [inline] |
Gecode::NoGoods::~NoGoods | ( | void | ) | [inline, virtual] |
void Gecode::NoGoods::post | ( | Space & | home | ) | [virtual] |
Post no-goods.
Reimplemented in Gecode::Search::Parallel::Path, and Gecode::Search::Sequential::Path.
unsigned long int Gecode::NoGoods::ng | ( | void | ) | const [inline] |
void Gecode::NoGoods::ng | ( | unsigned long int | n | ) | [inline] |
unsigned long int Gecode::NoGoods::n [protected] |