Class to iterate over propagators in a group.
More...
#include <core.hpp>
Class to iterate over propagators in a group.
Definition at line 2758 of file core.hpp.
◆ Propagators()
◆ operator()()
bool Gecode::Propagators::operator() |
( |
void | | ) |
const |
|
inline |
Test whether there are propagators left.
Definition at line 5073 of file core.hpp.
◆ operator++()
void Gecode::Propagators::operator++ |
( |
void | | ) |
|
|
inline |
Move iterator to next propagator.
Definition at line 5077 of file core.hpp.
◆ propagator()
const Propagator & Gecode::Propagators::propagator |
( |
void | | ) |
const |
|
inline |
Return propagator.
Definition at line 5083 of file core.hpp.
The documentation for this class was generated from the following file: