Generated on Sat Feb 7 2015 02:01:35 for Gecode by doxygen 1.8.9.1

Modules

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

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

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 FloatNumBranch(* 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, FloatNumBranch nl)
 Branch commit function type for float variables. More...
 

Enumerations

enum  Gecode::FloatVarBranch::Select {
  Gecode::FloatVarBranch::SEL_NONE = 0, Gecode::FloatVarBranch::SEL_RND, Gecode::FloatVarBranch::SEL_MERIT_MIN, Gecode::FloatVarBranch::SEL_MERIT_MAX,
  Gecode::FloatVarBranch::SEL_DEGREE_MIN, Gecode::FloatVarBranch::SEL_DEGREE_MAX, Gecode::FloatVarBranch::SEL_AFC_MIN, Gecode::FloatVarBranch::SEL_AFC_MAX,
  Gecode::FloatVarBranch::SEL_ACTIVITY_MIN, Gecode::FloatVarBranch::SEL_ACTIVITY_MAX, Gecode::FloatVarBranch::SEL_MIN_MIN, Gecode::FloatVarBranch::SEL_MIN_MAX,
  Gecode::FloatVarBranch::SEL_MAX_MIN, Gecode::FloatVarBranch::SEL_MAX_MAX, Gecode::FloatVarBranch::SEL_SIZE_MIN, Gecode::FloatVarBranch::SEL_SIZE_MAX,
  Gecode::FloatVarBranch::SEL_DEGREE_SIZE_MIN, Gecode::FloatVarBranch::SEL_DEGREE_SIZE_MAX, Gecode::FloatVarBranch::SEL_AFC_SIZE_MIN, Gecode::FloatVarBranch::SEL_AFC_SIZE_MAX,
  Gecode::FloatVarBranch::SEL_ACTIVITY_SIZE_MIN, Gecode::FloatVarBranch::SEL_ACTIVITY_SIZE_MAX
}
 Which variable selection. More...
 
enum  Gecode::FloatValBranch::Select { Gecode::FloatValBranch::SEL_SPLIT_MIN, Gecode::FloatValBranch::SEL_SPLIT_MAX, Gecode::FloatValBranch::SEL_SPLIT_RND, Gecode::FloatValBranch::SEL_VAL_COMMIT }
 Which value selection. More...
 
enum  Gecode::FloatAssign::Select { Gecode::FloatAssign::SEL_MIN, Gecode::FloatAssign::SEL_MAX, Gecode::FloatAssign::SEL_RND, Gecode::FloatAssign::SEL_VAL_COMMIT }
 Which value selection. More...
 

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. More...
 
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. More...
 
BrancherHandle Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL)
 Branch over x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL)
 Assign all x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL)
 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 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.

Enumeration Type Documentation

Which variable selection.

Enumerator
SEL_NONE 

First unassigned.

SEL_RND 

Random (uniform, for tie breaking)

SEL_MERIT_MIN 

With least merit.

SEL_MERIT_MAX 

With highest merit.

SEL_DEGREE_MIN 

With smallest degree.

SEL_DEGREE_MAX 

With largest degree.

SEL_AFC_MIN 

With smallest accumulated failure count.

SEL_AFC_MAX 

With largest accumulated failure count.

SEL_ACTIVITY_MIN 

With lowest activity.

SEL_ACTIVITY_MAX 

With highest activity.

SEL_MIN_MIN 

With smallest min.

SEL_MIN_MAX 

With largest min.

SEL_MAX_MIN 

With smallest max.

SEL_MAX_MAX 

With largest max.

SEL_SIZE_MIN 

With smallest domain size.

SEL_SIZE_MAX 

With largest domain size.

SEL_DEGREE_SIZE_MIN 

With smallest degree divided by domain size.

SEL_DEGREE_SIZE_MAX 

With largest degree divided by domain size.

SEL_AFC_SIZE_MIN 

With smallest accumulated failure count divided by domain size.

SEL_AFC_SIZE_MAX 

With largest accumulated failure count divided by domain size.

SEL_ACTIVITY_SIZE_MIN 

With smallest activity divided by domain size.

SEL_ACTIVITY_SIZE_MAX 

With largest activity divided by domain size.

Definition at line 1519 of file float.hh.

Which value selection.

Enumerator
SEL_SPLIT_MIN 

Select values not greater than mean of smallest and largest value.

SEL_SPLIT_MAX 

Select values greater than mean of smallest and largest value.

SEL_SPLIT_RND 

Select values randomly which are not greater or not smaller than mean of largest and smallest value.

SEL_VAL_COMMIT 

Select value according to user-defined functions.

Definition at line 1649 of file float.hh.

Which value selection.

Enumerator
SEL_MIN 

Select median value of the lower part.

SEL_MAX 

Select median value of the upper part.

SEL_RND 

Select median value of a randomly chosen part.

SEL_VAL_COMMIT 

Select value according to user-defined functions.

Definition at line 1703 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.

Definition at line 43 of file branch.cpp.

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.

Definition at line 58 of file branch.cpp.

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

Branch over x with value selection vals.

Definition at line 107 of file branch.cpp.

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

Assign all x with value selection vals.

Definition at line 113 of file branch.cpp.

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

Assign x with value selection vals.

Definition at line 126 of file branch.cpp.