Group baseclass for controlling actors.
More...
#include <core.hpp>
List of all members.
Static Public Attributes |
static Group | all |
| Group of all actors.
|
static Group | def |
| Group of actors not in any user-defined group.
|
Protected Member Functions |
| Group (unsigned int gid0) |
| Construct with predefined group id gid0.
|
Protected Attributes |
unsigned int | gid |
| The group id.
|
Static Protected Attributes |
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.
|
Construction and access |
|
| 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).
|
Detailed Description
Group baseclass for controlling actors.
Definition at line 672 of file core.hpp.
Constructor & Destructor Documentation
Gecode::Group::Group |
( |
unsigned int |
gid0 |
) |
[inline, protected] |
Construct with predefined group id gid0.
Definition at line 4872 of file core.hpp.
Gecode::Group::Group |
( |
void |
|
) |
|
Gecode::Group::Group |
( |
const Group & |
g |
) |
[inline] |
Member Function Documentation
Group & Gecode::Group::operator= |
( |
const Group & |
g |
) |
[inline] |
Assignment operator.
Definition at line 4888 of file core.hpp.
unsigned int Gecode::Group::id |
( |
void |
|
) |
const [inline] |
Return a unique id for the group.
Definition at line 4893 of file core.hpp.
bool Gecode::Group::in |
( |
Group |
a |
) |
const [inline] |
Check whether actor group a is included in this group.
Definition at line 4875 of file core.hpp.
bool Gecode::Group::in |
( |
void |
|
) |
const [inline] |
Check whether this is a real group (and not just default).
Definition at line 4880 of file core.hpp.
Member Data Documentation
Fake id for group of all actors.
Definition at line 681 of file core.hpp.
Pre-defined default group id.
Definition at line 683 of file core.hpp.
The maximal group number.
Definition at line 685 of file core.hpp.
Next group id.
Definition at line 690 of file core.hpp.
Mutex for protection.
Definition at line 693 of file core.hpp.
The documentation for this class was generated from the following files: