Group of propagators.
More...
#include <core.hpp>
|
| | PropagatorGroup (unsigned int gid) |
| | Initialize with group id gid.
|
| | Group (unsigned int gid0) |
| | Construct with predefined group id gid0.
|
|
| | 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)
|
| static Group | all |
| | Group of all actors.
|
| static Group | def |
| | Group of actors not in any user-defined group.
|
| 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.
|
Group of propagators.
Definition at line 727 of file core.hpp.
◆ PropagatorGroup() [1/3]
| Gecode::PropagatorGroup::PropagatorGroup |
( |
unsigned int | gid | ) |
|
|
inlineprotected |
Initialize with group id gid.
Definition at line 4990 of file core.hpp.
◆ PropagatorGroup() [2/3]
| Gecode::PropagatorGroup::PropagatorGroup |
( |
void | | ) |
|
|
inline |
◆ PropagatorGroup() [3/3]
◆ operator=()
Assignment operator.
Definition at line 4998 of file core.hpp.
◆ operator()()
| Home Gecode::PropagatorGroup::operator() |
( |
Space & | home | ) |
|
|
inline |
To augment a space argument.
Definition at line 5003 of file core.hpp.
◆ move() [1/3]
Move propagators from group g to this group.
Definition at line 933 of file core.cpp.
◆ move() [2/3]
Move propagator p to this group.
Definition at line 5017 of file core.hpp.
◆ move() [3/3]
Move propagator with id id to this group.
Throws an exception of type UnknownPropagator, if no propagator with id id exists.
Definition at line 942 of file core.cpp.
◆ operator==()
Test whether this group is equal to group g.
Definition at line 5008 of file core.hpp.
◆ operator!=()
Test whether this group is different from group g.
Definition at line 5012 of file core.hpp.
◆ size()
| unsigned int Gecode::PropagatorGroup::size |
( |
Space & | home | ) |
const |
Return number of propagators in a group.
Definition at line 956 of file core.cpp.
◆ kill()
| void Gecode::PropagatorGroup::kill |
( |
Space & | home | ) |
|
Kill all propagators in a group.
Definition at line 967 of file core.cpp.
◆ disable()
| void Gecode::PropagatorGroup::disable |
( |
Space & | home | ) |
|
Disable all propagators in a group.
Definition at line 980 of file core.cpp.
◆ enable()
| void Gecode::PropagatorGroup::enable |
( |
Space & | home, |
|
|
bool | s = true ) |
Enable all propagators in a group.
If s is true, the propagators will be scheduled for propagation if needed.
Definition at line 989 of file core.cpp.
◆ all
◆ def
Group of propagators not in any user-defined group.
Definition at line 792 of file core.hpp.
The documentation for this class was generated from the following files: