Gecode::NoGoods Class Reference
No-goods recorded from restarts. More...
#include <core.hpp>
List of all members.
Public Member Functions | |
| 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. | |
Static Public Attributes | |
| static NoGoods | eng |
| Empty no-goods. | |
Protected Attributes | |
| unsigned long int | n |
| Number of no-goods. | |
Detailed Description
No-goods recorded from restarts.
Definition at line 1588 of file core.hpp.
Constructor & Destructor Documentation
| Gecode::NoGoods::NoGoods | ( | void | ) | [inline] |
Initialize.
Definition at line 3052 of file core.hpp.
| Gecode::NoGoods::~NoGoods | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 3063 of file core.hpp.
Member Function Documentation
| void Gecode::NoGoods::post | ( | Space & | home | ) | const [virtual] |
Post no-goods.
Reimplemented in Gecode::Search::Par::Path< Tracer >, and Gecode::Search::Seq::Path< Tracer >.
Definition at line 82 of file core.cpp.
| unsigned long int Gecode::NoGoods::ng | ( | void | ) | const [inline] |
Return number of no-goods posted.
Definition at line 3055 of file core.hpp.
| 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.
Member Data Documentation
unsigned long int Gecode::NoGoods::n [protected] |
Number of no-goods.
Definition at line 1591 of file core.hpp.
NoGoods Gecode::NoGoods::eng [static] |
Empty no-goods.
Definition at line 1606 of file core.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/core.hpp
- gecode/kernel/core.cpp
