Generated on Sat May 25 2013 18:00:43 for Gecode by doxygen 1.8.3.1
Branching on float variables

Modules

 Variable selection for float variables
 
 Value selection for float variables
 
 Value selection for assigning float variables
 

Classes

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...
 

Typedefs

typedef bool(* Gecode::FloatBranchFilter )(const Space &home, FloatVar x, int i)
 Branch filter function type for float variables. More...
 
typedef double(* Gecode::FloatBranchMerit )(const Space &home, FloatVar x, int i)
 Branch merit function type for float variables. More...
 
typedef FloatNum(* Gecode::FloatBranchVal )(const Space &home, FloatVar x, int i)
 Branch value function type for float variables. More...
 
typedef void(* Gecode::FloatBranchCommit )(Space &home, unsigned int a, FloatVar x, int i, FloatNum n)
 Branch commit function type for float variables. More...
 

Functions

BrancherHandle Gecode::branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter fbf=NULL)
 Branch over x with variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, FloatVar x, FloatValBranch vals)
 Branch over x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL)
 Assign all x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, FloatVar x, FloatAssign vals)
 Assign x with value selection vals. More...
 

Detailed Description

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 FloatNum(* 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 1377 of file float.hh.

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

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 n is the value computed by the corresponding branch value function.

Definition at line 1390 of file float.hh.

Function Documentation

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

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

Definition at line 43 of file branch.cpp.

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

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

Definition at line 65 of file branch.cpp.

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

Branch over x with value selection vals.

Definition at line 141 of file branch.cpp.

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

Assign all x with value selection vals.

Definition at line 147 of file branch.cpp.

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

Assign x with value selection vals.

Definition at line 168 of file branch.cpp.