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 672 of file core.hpp.
◆ Group() [1/3]
Gecode::Group::Group |
( |
unsigned int |
gid0 | ) |
|
|
inlineprotected |
Construct with predefined group id gid0.
Definition at line 4880 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 4896 of file core.hpp.
◆ id()
unsigned int Gecode::Group::id |
( |
void |
| ) |
const |
|
inline |
Return a unique id for the group.
Definition at line 4901 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 4883 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 4888 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 681 of file core.hpp.
◆ GROUPID_DEF
const unsigned int Gecode::Group::GROUPID_DEF = 1U |
|
staticprotected |
Pre-defined default group id.
Definition at line 683 of file core.hpp.
◆ GROUPID_MAX
const unsigned int Gecode::Group::GROUPID_MAX = UINT_MAX >> 2 |
|
staticprotected |
The maximal group number.
Definition at line 685 of file core.hpp.
◆ gid
unsigned int Gecode::Group::gid |
|
protected |
◆ next
Next group id.
Definition at line 690 of file core.hpp.
Mutex for protection.
Definition at line 693 of file core.hpp.
◆ all
◆ def
Group of actors not in any user-defined group.
Definition at line 718 of file core.hpp.
The documentation for this class was generated from the following files: