Functions | |
void | Gecode::branch (Home home, void(*f)(Space &home)) |
Call the function f (with the current space as argument) for branching. |
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.
void Gecode::branch | ( | Home | home, |
void(*)(Space &home) | f | ||
) |
Call the function f (with the current space as argument) for branching.
Definition at line 108 of file branch.cpp.