Group of branchers.
More...
#include <core.hpp>
|
| BrancherGroup (unsigned int gid) |
| Initialize with group id gid.
|
|
| Group (unsigned int gid0) |
| Construct with predefined group id gid0.
|
|
|
| Group (void) |
| Constructor.
|
|
| Group (const Group &g) |
| Copy constructor.
|
|
Group & | operator= (const Group &g) |
| Assignment operator.
|
|
unsigned int | id (void) const |
| Return a unique id for the group.
|
|
bool | in (Group a) const |
| Check whether actor group a is included in this group.
|
|
bool | in (void) const |
| Check whether this is a real group (and not just default)
|
|
static Group | all |
| Group of all actors.
|
|
static Group | def |
| Group of actors not in any user-defined group.
|
|
unsigned int | gid |
| The group id.
|
|
static const unsigned int | GROUPID_ALL = 0U |
| Fake id for group of all actors.
|
|
static const unsigned int | GROUPID_DEF = 1U |
| Pre-defined default group id.
|
|
static const unsigned int | GROUPID_MAX = UINT_MAX >> 2 |
| The maximal group number.
|
|
static unsigned int | next = GROUPID_DEF+1 |
| Next group id.
|
|
static Support::Mutex | m |
| Mutex for protection.
|
|
Group of branchers.
Definition at line 799 of file core.hpp.
◆ BrancherGroup() [1/3]
Gecode::BrancherGroup::BrancherGroup |
( |
unsigned int | gid | ) |
|
|
inlineprotected |
Initialize with group id gid.
Definition at line 5021 of file core.hpp.
◆ BrancherGroup() [2/3]
Gecode::BrancherGroup::BrancherGroup |
( |
void | | ) |
|
|
inline |
◆ BrancherGroup() [3/3]
◆ operator=()
Assignment operator.
Definition at line 5029 of file core.hpp.
◆ operator()()
Home Gecode::BrancherGroup::operator() |
( |
Space & | home | ) |
|
|
inline |
To augment a space argument.
Definition at line 5034 of file core.hpp.
◆ move() [1/3]
Move branchers from group g to this group.
Definition at line 1010 of file core.cpp.
◆ move() [2/3]
Move brancher b to this group.
Definition at line 5048 of file core.hpp.
◆ move() [3/3]
Move brancher with id id to this group.
Throws an exception of type UnknownBrancher, if no brancher with id id exists.
Definition at line 1019 of file core.cpp.
◆ operator==()
Test whether this group is equal to group g.
Definition at line 5039 of file core.hpp.
◆ operator!=()
Test whether this group is different from group g.
Definition at line 5043 of file core.hpp.
◆ size()
unsigned int Gecode::BrancherGroup::size |
( |
Space & | home | ) |
const |
Return number of branchers in a group.
Definition at line 1033 of file core.cpp.
◆ kill()
void Gecode::BrancherGroup::kill |
( |
Space & | home | ) |
|
Kill all branchers in a group.
Definition at line 1044 of file core.cpp.
◆ all
◆ def
Group of branchers not in any user-defined group.
Definition at line 850 of file core.hpp.
The documentation for this class was generated from the following files: