Generated on Thu Jan 31 2019 20:56:44 for Gecode by doxygen 1.8.15

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...
 

Detailed Description

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.

Function Documentation

◆ branch()

void Gecode::branch ( Home  home,
std::function< void(Space &home)>  f 
)

Call the function f (with the current space as argument) for branching.

Definition at line 154 of file branch.cpp.