Recording CHB for set variables.
More...
#include <set.hh>
|
static const CHB | def |
| Default (empty) chb information.
|
|
Storage & | object (void) const |
| Return object of correct type.
|
|
void | object (Storage &o) |
| Set object to o.
|
|
void | update (int i) |
| Update chb value at position i.
|
|
void | acquire (void) |
| Acquire mutex.
|
|
void | release (void) |
| Release mutex.
|
|
void | bump (void) |
| Bump failure count and alpha.
|
|
void | update (int i, bool failed) |
| Update chb information at position i.
|
|
Protected Member Functions inherited from Gecode::SharedHandle |
SharedHandle::Object * | object (void) const |
| Access to the shared object.
|
|
void | object (SharedHandle::Object *n) |
| Modify shared object.
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const CHB &a) |
| Print chb values enclosed in curly brackets.
|
|
Recording CHB for set variables.
Definition at line 1235 of file set.hh.
◆ SetCHB() [1/3]
Gecode::SetCHB::SetCHB |
( |
void | | ) |
|
|
inline |
Construct as not yet initialized.
The only member functions that can be used on a constructed but not yet initialized CHB storage is init or the assignment operator.
Definition at line 37 of file chb.hpp.
◆ SetCHB() [2/3]
Gecode::SetCHB::SetCHB |
( |
const SetCHB & | chb | ) |
|
|
inline |
◆ SetCHB() [3/3]
Initialize for set variables x.
If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.
Definition at line 38 of file chb.cpp.
◆ operator SetCHB &operator=()
Assignment Gecode::SetCHB::operator SetCHB &operator= |
( |
const SetCHB & | chb | ) |
|
◆ init()
Initialize for set variables x.
If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.
This member function can only be used once and only if the action storage has been constructed with the default constructor.
Definition at line 44 of file chb.cpp.
The documentation for this class was generated from the following files: