Gecode::Space::Propagators Class Reference
Class to iterate over propagators of a space. More...
Public Member Functions
|Propagators (Space &home)|
|bool||operator() (void) const|
|Test whether there are propagators left. |
|Move iterator to next propagator. |
|Propagator &||propagator (void) const|
|Return propagator. |
Class to iterate over propagators of a space.
Note that the iterator cannot be used during cloning.
Constructor & Destructor Documentation
Member Function Documentation
|bool Gecode::Space::Propagators::operator()||(||void||)|| const
|Propagator & Gecode::Space::Propagators::propagator||(||void||)|| const
The documentation for this class was generated from the following file: