Branch with a function
[Generic branching support]

Functions
void	Gecode::branch (Home home, std::function< void(Space &home)> f)
	Call the function f (with the current space as argument) for branching.

---

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

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

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