Group of propagators.
More...
#include <core.hpp>
List of all members.
Detailed Description
Group of propagators.
Definition at line 725 of file core.hpp.
Constructor & Destructor Documentation
Gecode::PropagatorGroup::PropagatorGroup |
( |
unsigned int |
gid |
) |
[inline, protected] |
Initialize with group id gid.
Definition at line 4902 of file core.hpp.
Gecode::PropagatorGroup::PropagatorGroup |
( |
void |
|
) |
[inline] |
Gecode::PropagatorGroup::PropagatorGroup |
( |
const PropagatorGroup & |
g |
) |
[inline] |
Member Function Documentation
Assignment operator.
Definition at line 4910 of file core.hpp.
Home Gecode::PropagatorGroup::operator() |
( |
Space & |
home |
) |
[inline] |
To augment a space argument.
Definition at line 4915 of file core.hpp.
Move propagators from group g to this group.
Definition at line 903 of file core.cpp.
Move propagator p to this group.
Definition at line 4929 of file core.hpp.
Move propagator with id id to this group.
Throws an exception of type UnknownPropagator, if no propagator with id id exists.
Definition at line 912 of file core.cpp.
bool Gecode::PropagatorGroup::operator== |
( |
PropagatorGroup |
g |
) |
const [inline] |
Test whether this group is equal to group g.
Definition at line 4920 of file core.hpp.
bool Gecode::PropagatorGroup::operator!= |
( |
PropagatorGroup |
g |
) |
const [inline] |
Test whether this group is different from group g.
Definition at line 4924 of file core.hpp.
unsigned int Gecode::PropagatorGroup::size |
( |
Space & |
home |
) |
const |
Return number of propagators in a group.
Definition at line 926 of file core.cpp.
void Gecode::PropagatorGroup::kill |
( |
Space & |
home |
) |
|
Kill all propagators in a group.
Definition at line 937 of file core.cpp.
void Gecode::PropagatorGroup::disable |
( |
Space & |
home |
) |
|
Disable all propagators in a group.
Definition at line 950 of file core.cpp.
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 959 of file core.cpp.
Member Data Documentation
The documentation for this class was generated from the following files: