branch.cpp File Reference

(Revision: 8145)

#include <gecode/int/branch.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
Functions
void	Gecode::assign (Space &home, const IntVarArgs &x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def)
	Assign all x with value selection vals.