Branching on float variables
[Using float variables and constraints]

Classes
class	Gecode::FloatNumBranch
	Value description class for branching. More...
class	Gecode::FloatAFC
	Recording AFC information for float variables. More...
class	Gecode::FloatActivity
	Recording activities for float variables. More...
class	Gecode::FloatVarBranch
	Which variable to select for branching. More...
class	Gecode::FloatValBranch
	Which values to select for branching first. More...
class	Gecode::FloatAssign
	Which values to select for assignment. More...
Modules
	Variable selection for float variables
	Value selection for float variables
	Value selection for assigning float variables
Typedefs
typedef bool(*	Gecode::FloatBranchFilter )(const Space &home, FloatVar x, int i)
	Branch filter function type for float variables.
typedef double(*	Gecode::FloatBranchMerit )(const Space &home, FloatVar x, int i)
	Branch merit function type for float variables.
typedef FloatNumBranch(*	Gecode::FloatBranchVal )(const Space &home, FloatVar x, int i)
	Branch value function type for float variables.
typedef void(*	Gecode::FloatBranchCommit )(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)
	Branch commit function type for float variables.
Functions
BrancherHandle	Gecode::branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL)
	Branch over x with variable selection vars and value selection vals.
BrancherHandle	Gecode::branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL)
	Branch over x with tie-breaking variable selection vars and value selection vals.
BrancherHandle	Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL)
	Branch over x with value selection vals.
BrancherHandle	Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL)
	Assign all x with value selection vals.
BrancherHandle	Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL)
	Assign x with value selection vals.

---

Typedef Documentation

typedef bool(* Gecode::FloatBranchFilter)(const Space &home, FloatVar x, int i)

Branch filter function type for float variables.

The variable x is considered for selection and i refers to the variable's position in the original array passed to the brancher.

Definition at line 1353 of file float.hh.

typedef double(* Gecode::FloatBranchMerit)(const Space &home, FloatVar x, int i)

Branch merit function type for float variables.

The function must return a merit value for the variable x. The value i refers to the variable's position in the original array passed to the brancher.

Definition at line 1365 of file float.hh.

typedef FloatNumBranch(* Gecode::FloatBranchVal)(const Space &home, FloatVar x, int i)

Branch value function type for float variables.

Returns a value for the variable x that is to be used in the corresponding branch commit function. The integer i refers to the variable's position in the original array passed to the brancher.

Definition at line 1390 of file float.hh.

typedef void(* Gecode::FloatBranchCommit)(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)

Branch commit function type for float variables.

The function must post a constraint on the variable x which corresponds to the alternative a. The integer i refers to the variable's position in the original array passed to the brancher. The value nl is the value description computed by the corresponding branch value function.

Definition at line 1403 of file float.hh.

---

Function Documentation

BrancherHandle Gecode::branch	(	Home	home,
		const FloatVarArgs &	x,
		FloatVarBranch	vars,
		FloatValBranch	vals,
		FloatBranchFilter	bf,
		FloatVarValPrint	vvp
	)

Branch over x with variable selection vars and value selection vals.

BrancherHandle Gecode::branch	(	Home	home,
		const FloatVarArgs &	x,
		TieBreak< FloatVarBranch >	vars,
		FloatValBranch	vals,
		FloatBranchFilter	bf,
		FloatVarValPrint	vvp
	)

Branch over x with tie-breaking variable selection vars and value selection vals.

BrancherHandle Gecode::branch	(	Home	home,
		FloatVar	x,
		FloatValBranch	vals,
		FloatVarValPrint	vvp
	)

Branch over x with value selection vals.

BrancherHandle Gecode::assign	(	Home	home,
		const FloatVarArgs &	x,
		FloatAssign	fa,
		FloatBranchFilter	bf,
		FloatVarValPrint	vvp
	)

Assign all x with value selection vals.

BrancherHandle Gecode::assign	(	Home	home,
		FloatVar	x,
		FloatAssign	fa,
		FloatVarValPrint	vvp
	)

Assign x with value selection vals.