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 4960 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 4976 of file core.hpp.
◆ id()
| unsigned int Gecode::Group::id |
( |
void | | ) |
const |
|
inline |
Return a unique id for the group.
Definition at line 4981 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 4963 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 4968 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: