Globally shared object for propagator information. More...
#include <global-prop-info.hpp>
Public Member Functions | |
GlobalPropInfo (void) | |
Initialize. | |
GlobalPropInfo (const GlobalPropInfo &gpi) | |
Copy during cloning. | |
~GlobalPropInfo (void) | |
Destructor. | |
PropInfo & | allocate (void) |
Allocate new propagator info. |
Globally shared object for propagator information.
Definition at line 59 of file global-prop-info.hpp.
Gecode::GlobalPropInfo::GlobalPropInfo | ( | void | ) | [inline] |
Initialize.
Definition at line 184 of file global-prop-info.hpp.
Gecode::GlobalPropInfo::GlobalPropInfo | ( | const GlobalPropInfo & | gpi | ) | [inline] |
Copy during cloning.
Definition at line 190 of file global-prop-info.hpp.
Gecode::GlobalPropInfo::~GlobalPropInfo | ( | void | ) | [inline] |
Destructor.
Definition at line 199 of file global-prop-info.hpp.
PropInfo & Gecode::GlobalPropInfo::allocate | ( | void | ) | [inline] |
Allocate new propagator info.
Definition at line 229 of file global-prop-info.hpp.