Class for propagator information. More...
#include <global-prop-info.hpp>
Public Member Functions | |
PropInfo (void) | |
Initialize. | |
void | init (void) |
Initialize. | |
double | afc (void) const |
Return accumulated failure count. | |
void | fail (GlobalPropInfo &gpi) |
Increment failure count. |
Class for propagator information.
Gecode::PropInfo::PropInfo | ( | void | ) | [inline] |
Initialize.
Definition at line 125 of file global-prop-info.hpp.
void Gecode::PropInfo::init | ( | void | ) | [inline] |
Initialize.
Definition at line 128 of file global-prop-info.hpp.
double Gecode::PropInfo::afc | ( | void | ) | const [inline] |
Return accumulated failure count.
Definition at line 132 of file global-prop-info.hpp.
void Gecode::PropInfo::fail | ( | GlobalPropInfo & | gpi | ) | [inline] |
Increment failure count.
Definition at line 221 of file global-prop-info.hpp.