Group baseclass for controlling actors.
More...
#include <core.hpp>
|
| Group (unsigned int gid0) |
| Construct with predefined group id gid0. More...
|
|
Group baseclass for controlling actors.
Definition at line 741 of file core.hpp.
◆ Group() [1/3]
Gecode::Group::Group |
( |
unsigned int |
gid0 | ) |
|
|
inlineprotected |
Construct with predefined group id gid0.
Definition at line 4998 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 5014 of file core.hpp.
◆ id()
unsigned int Gecode::Group::id |
( |
void |
| ) |
const |
|
inline |
Return a unique id for the group.
Definition at line 5019 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 5001 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 5006 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 750 of file core.hpp.
◆ GROUPID_DEF
const unsigned int Gecode::Group::GROUPID_DEF = 1U |
|
staticprotected |
Pre-defined default group id.
Definition at line 752 of file core.hpp.
◆ GROUPID_MAX
const unsigned int Gecode::Group::GROUPID_MAX = UINT_MAX >> 2 |
|
staticprotected |
The maximal group number.
Definition at line 754 of file core.hpp.
◆ gid
unsigned int Gecode::Group::gid |
|
protected |
◆ next
Next group id.
Definition at line 759 of file core.hpp.
Mutex for protection.
Definition at line 762 of file core.hpp.
◆ all
◆ def
Group of actors not in any user-defined group.
Definition at line 787 of file core.hpp.
The documentation for this class was generated from the following files: