post-view-int.cpp File Reference

#include <gecode/int/branch.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Int::Branch
	Integer branchings.
Functions
void	Gecode::Int::Branch::virtualize (Gecode::Space &home, IntVarBranch vars, const Gecode::VarBranchOptions &o_vars, Gecode::ViewSelVirtualBase< IntView > *&v)
	Create virtual view selector for tie-breaking.
void	Gecode::branch (Space &home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def)
	Branch over x with variable selection vars and value selection vals.
void	Gecode::branch (Space &home, const IntVarArgs &x, const TieBreakVarBranch< IntVarBranch > &vars, IntValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def)
	Branch over x with tie-breaking variable selection vars and value selection vals.