Group baseclass for controlling actors.
More...
#include <core.hpp>
|
| Group (unsigned int gid0) |
| Construct with predefined group id gid0.
|
|
|
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.
|
|
|
static Group | all |
| Group of all actors.
|
|
static Group | def |
| Group of actors not in any user-defined group.
|
|
| 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)
|
|
Group baseclass for controlling actors.
Definition at line 673 of file core.hpp.
◆ Group() [1/3]
Gecode::Group::Group |
( |
unsigned int | gid0 | ) |
|
|
inlineprotected |
Construct with predefined group id gid0.
Definition at line 4953 of file core.hpp.
◆ Group() [2/3]
Gecode::Group::Group |
( |
void | | ) |
|
◆ Group() [3/3]
Gecode::Group::Group |
( |
const Group & | g | ) |
|
|
inline |
◆ operator=()
Group & Gecode::Group::operator= |
( |
const Group & | g | ) |
|
|
inline |
Assignment operator.
Definition at line 4969 of file core.hpp.
◆ id()
unsigned int Gecode::Group::id |
( |
void | | ) |
const |
|
inline |
Return a unique id for the group.
Definition at line 4974 of file core.hpp.
◆ in() [1/2]
bool Gecode::Group::in |
( |
Group | a | ) |
const |
|
inline |
Check whether actor group a is included in this group.
Definition at line 4956 of file core.hpp.
◆ in() [2/2]
bool Gecode::Group::in |
( |
void | | ) |
const |
|
inline |
Check whether this is a real group (and not just default)
Definition at line 4961 of file core.hpp.
◆ GROUPID_ALL
const unsigned int Gecode::Group::GROUPID_ALL = 0U |
|
staticprotected |
Fake id for group of all actors.
Definition at line 683 of file core.hpp.
◆ GROUPID_DEF
const unsigned int Gecode::Group::GROUPID_DEF = 1U |
|
staticprotected |
Pre-defined default group id.
Definition at line 685 of file core.hpp.
◆ GROUPID_MAX
const unsigned int Gecode::Group::GROUPID_MAX = UINT_MAX >> 2 |
|
staticprotected |
The maximal group number.
Definition at line 687 of file core.hpp.
◆ gid
unsigned int Gecode::Group::gid |
|
protected |
◆ next
Next group id.
Definition at line 692 of file core.hpp.
Mutex for protection.
Definition at line 695 of file core.hpp.
◆ all
◆ def
Group of actors not in any user-defined group.
Definition at line 720 of file core.hpp.
The documentation for this class was generated from the following files: