No-goods recorded from restarts. More...
#include <core.hpp>
Public Member Functions | |
NoGoods (void) | |
Initialize. More... | |
virtual void | post (Space &home) const |
Post no-goods. More... | |
unsigned long int | ng (void) const |
Return number of no-goods posted. More... | |
void | ng (unsigned long int n) |
Set number of no-goods posted to n More... | |
virtual | ~NoGoods (void) |
Destructor. More... | |
Static Public Attributes | |
static NoGoods | eng |
Empty no-goods. More... | |
Protected Attributes | |
unsigned long int | n |
Number of no-goods. More... | |
|
inlinevirtual |
|
virtual |
Post no-goods.
Reimplemented in Gecode::Search::Par::Path< Tracer >, Gecode::Search::Par::Path< Gecode::Tracer >, Gecode::Search::Seq::Path< Tracer >, and Gecode::Search::Seq::Path< Gecode::Tracer >.
|
inline |
|
inline |
|
protected |