Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
branch.cpp File Reference

Go to the source code of this file.

Functions

void Gecode::FlatZinc::branch (Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
 Branch function for integer and Boolean variables. More...
 

Function Documentation

◆ branch()

GECODE_FLATZINC_EXPORT void Gecode::FlatZinc::branch ( Home  home,
const IntVarArgs x,
const BoolVarArgs y,
IntBoolVarBranch  vars,
IntValBranch  vals 
)

Branch function for integer and Boolean variables.

Definition at line 120 of file branch.cpp.