Group of propagators.
More...
#include <core.hpp>
List of all members.
Detailed Description
Group of propagators.
Definition at line 727 of file core.hpp.
Constructor & Destructor Documentation
Gecode::PropagatorGroup::PropagatorGroup |
( |
unsigned int |
gid |
) |
[inline, protected] |
Initialize with group id gid.
Definition at line 4983 of file core.hpp.
Gecode::PropagatorGroup::PropagatorGroup |
( |
void |
|
) |
[inline] |
Gecode::PropagatorGroup::PropagatorGroup |
( |
const PropagatorGroup & |
g |
) |
[inline] |
Member Function Documentation
Assignment operator.
Definition at line 4991 of file core.hpp.
Home Gecode::PropagatorGroup::operator() |
( |
Space & |
home |
) |
[inline] |
To augment a space argument.
Definition at line 4996 of file core.hpp.
Move propagators from group g to this group.
Definition at line 932 of file core.cpp.
Move propagator p to this group.
Definition at line 5010 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 941 of file core.cpp.
bool Gecode::PropagatorGroup::operator== |
( |
PropagatorGroup |
g |
) |
const [inline] |
Test whether this group is equal to group g.
Definition at line 5001 of file core.hpp.
bool Gecode::PropagatorGroup::operator!= |
( |
PropagatorGroup |
g |
) |
const [inline] |
Test whether this group is different from group g.
Definition at line 5005 of file core.hpp.
unsigned int Gecode::PropagatorGroup::size |
( |
Space & |
home |
) |
const |
Return number of propagators in a group.
Definition at line 955 of file core.cpp.
void Gecode::PropagatorGroup::kill |
( |
Space & |
home |
) |
|
Kill all propagators in a group.
Definition at line 966 of file core.cpp.
void Gecode::PropagatorGroup::disable |
( |
Space & |
home |
) |
|
Disable all propagators in a group.
Definition at line 979 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 988 of file core.cpp.
Member Data Documentation
The documentation for this class was generated from the following files: