Group of propagators.
More...
#include <core.hpp>
Group of propagators.
Definition at line 794 of file core.hpp.
◆ PropagatorGroup() [1/3]
Gecode::PropagatorGroup::PropagatorGroup |
( |
unsigned int |
gid | ) |
|
|
inlineprotected |
Initialize with group id gid.
Definition at line 5028 of file core.hpp.
◆ PropagatorGroup() [2/3]
Gecode::PropagatorGroup::PropagatorGroup |
( |
void |
| ) |
|
|
inline |
◆ PropagatorGroup() [3/3]
◆ operator=()
Assignment operator.
Definition at line 5036 of file core.hpp.
◆ operator()()
Home Gecode::PropagatorGroup::operator() |
( |
Space & |
home | ) |
|
|
inline |
To augment a space argument.
Definition at line 5041 of file core.hpp.
◆ move() [1/3]
Move propagators from group g to this group.
Definition at line 894 of file core.cpp.
◆ move() [2/3]
Move propagator p to this group.
Definition at line 5055 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 903 of file core.cpp.
◆ operator==()
Test whether this group is equal to group g.
Definition at line 5046 of file core.hpp.
◆ operator!=()
Test whether this group is different from group g.
Definition at line 5050 of file core.hpp.
◆ size()
unsigned int Gecode::PropagatorGroup::size |
( |
Space & |
home | ) |
const |
Return number of propagators in a group.
Definition at line 917 of file core.cpp.
◆ kill()
void Gecode::PropagatorGroup::kill |
( |
Space & |
home | ) |
|
Kill all propagators in a group.
Definition at line 928 of file core.cpp.
◆ disable()
void Gecode::PropagatorGroup::disable |
( |
Space & |
home | ) |
|
Disable all propagators in a group.
Definition at line 941 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 950 of file core.cpp.
◆ all
◆ def
Group of propagators not in any user-defined group.
Definition at line 858 of file core.hpp.
The documentation for this class was generated from the following files: