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 4983 of file core.hpp.
◆ PropagatorGroup() [2/3]
| Gecode::PropagatorGroup::PropagatorGroup |
( |
void |
| ) |
|
|
inline |
◆ PropagatorGroup() [3/3]
◆ operator=()
Assignment operator.
Definition at line 4991 of file core.hpp.
◆ operator()()
| Home Gecode::PropagatorGroup::operator() |
( |
Space & |
home | ) |
|
|
inline |
To augment a space argument.
Definition at line 4996 of file core.hpp.
◆ move() [1/3]
Move propagators from group g to this group.
Definition at line 932 of file core.cpp.
◆ move() [2/3]
Move propagator p to this group.
Definition at line 5010 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 941 of file core.cpp.
◆ operator==()
Test whether this group is equal to group g.
Definition at line 5001 of file core.hpp.
◆ operator!=()
Test whether this group is different from group g.
Definition at line 5005 of file core.hpp.
◆ size()
| unsigned int Gecode::PropagatorGroup::size |
( |
Space & |
home | ) |
const |
Return number of propagators in a group.
Definition at line 955 of file core.cpp.
◆ kill()
| void Gecode::PropagatorGroup::kill |
( |
Space & |
home | ) |
|
Kill all propagators in a group.
Definition at line 966 of file core.cpp.
◆ disable()
| void Gecode::PropagatorGroup::disable |
( |
Space & |
home | ) |
|
Disable all propagators in a group.
Definition at line 979 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 988 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: