Gecode::Space::Branchings Class Reference
Class to iterate over branchings of a space. More...
#include <core.hpp>
Public Member Functions | |
| Branchings (const Space &home) | |
| Initialize. | |
| bool | operator() (void) const |
| Test whether there are branchings left. | |
| void | operator++ (void) |
| Move iterator to next branching. | |
| const Branching & | branching (void) const |
| Return propagator. | |
Detailed Description
Class to iterate over branchings of a space.Note that the iterator cannot be used during cloning.
Definition at line 1839 of file core.hpp.
Constructor & Destructor Documentation
| Gecode::Space::Branchings::Branchings | ( | const Space & | home | ) | [inline] |
Member Function Documentation
| bool Gecode::Space::Branchings::operator() | ( | void | ) | const [inline] |
| void Gecode::Space::Branchings::operator++ | ( | void | ) | [inline] |
| const Branching & Gecode::Space::Branchings::branching | ( | void | ) | const [inline] |
The documentation for this class was generated from the following file:
- gecode/kernel/core.hpp (Revision: 8992)
