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 741 of file core.hpp.
Constructor & Destructor Documentation
Gecode::Group::Group |
( |
unsigned int |
gid0 |
) |
[inline, protected] |
Construct with predefined group id gid0.
Definition at line 4998 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 5014 of file core.hpp.
unsigned int Gecode::Group::id |
( |
void |
|
) |
const [inline] |
Return a unique id for the group.
Definition at line 5019 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 5001 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 5006 of file core.hpp.
Member Data Documentation
Fake id for group of all actors.
Definition at line 750 of file core.hpp.
Pre-defined default group id.
Definition at line 752 of file core.hpp.
The maximal group number.
Definition at line 754 of file core.hpp.
Next group id.
Definition at line 759 of file core.hpp.
Mutex for protection.
Definition at line 762 of file core.hpp.
The documentation for this class was generated from the following files: