Class to iterate over branchers in a group.
More...
#include <core.hpp>
Class to iterate over branchers in a group.
Definition at line 2692 of file core.hpp.
◆ Branchers()
◆ operator()()
bool Gecode::Branchers::operator() |
( |
void |
| ) |
const |
|
inline |
Test whether there are branchers left.
Definition at line 4934 of file core.hpp.
◆ operator++()
void Gecode::Branchers::operator++ |
( |
void |
| ) |
|
|
inline |
Move iterator to next brancher.
Definition at line 4938 of file core.hpp.
◆ brancher()
const Brancher & Gecode::Branchers::brancher |
( |
void |
| ) |
const |
|
inline |
Return propagator.
Definition at line 4944 of file core.hpp.
The documentation for this class was generated from the following file: