Generated on Sat Jul 28 2018 17:22:02 for Gecode by doxygen 1.8.14

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.