Functions | |
void | Gecode::branch (Home home, std::function< void(Space &home)> f) |
Call the function f (with the current space as argument) for branching. More... | |
This does not really branch (it just offers a single alternative) but executes a single function during branching. A typical application is to post more constraints after another brancher has finished.
Call the function f (with the current space as argument) for branching.
Definition at line 147 of file function.cpp.