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

Modules

 Variable selection for integer and Boolean variables
 
 Value selection for integer and Boolean variables
 
 Value selection for assigning integer and Boolean variables
 
 Symmetry declarations
 

Classes

class  Gecode::IntAFC
 Recording AFC information for integer and Boolean variables. More...
 
class  Gecode::IntActivity
 Recording activities for integer and Boolean variables. More...
 
class  Gecode::IntVarBranch
 Which variable to select for branching. More...
 
class  Gecode::IntValBranch
 Which values to select for branching first. More...
 
class  Gecode::IntAssign
 Which values to select for assignment. More...
 
class  Gecode::SymmetryHandle
 A reference-counted pointer to a SymmetryObject. More...
 

Typedefs

typedef bool(* Gecode::IntBranchFilter )(const Space &home, IntVar x, int i)
 Branch filter function type for integer variables. More...
 
typedef bool(* Gecode::BoolBranchFilter )(const Space &home, BoolVar x, int i)
 Branch filter function type for Boolean variables. More...
 
typedef double(* Gecode::IntBranchMerit )(const Space &home, IntVar x, int i)
 Branch merit function type for integer variables. More...
 
typedef double(* Gecode::BoolBranchMerit )(const Space &home, BoolVar x, int i)
 Branch merit function type for Boolean variables. More...
 
typedef int(* Gecode::IntBranchVal )(const Space &home, IntVar x, int i)
 Branch value function type for integer variables. More...
 
typedef int(* Gecode::BoolBranchVal )(const Space &home, BoolVar x, int i)
 Branch value function type for Boolean variables. More...
 
typedef void(* Gecode::IntBranchCommit )(Space &home, unsigned int a, IntVar x, int i, int n)
 Branch commit function type for integer variables. More...
 
typedef void(* Gecode::BoolBranchCommit )(Space &home, unsigned int a, BoolVar x, int i, int n)
 Branch commit function type for Boolean variables. More...
 

Functions

BrancherHandle Gecode::branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, IntBranchFilter bf=NULL)
 Branch over x with variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, IntBranchFilter bf=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, IntVar x, IntValBranch vals)
 Branch over x with value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, BoolBranchFilter bf=NULL)
 Branch over x with variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, const BoolVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, BoolBranchFilter bf=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, BoolVar x, IntValBranch vals)
 Branch over x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, const IntVarArgs &x, IntAssign vals, IntBranchFilter ibf=NULL)
 Assign all x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, IntVar x, IntAssign vals)
 Assign x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, const BoolVarArgs &x, IntAssign vals, BoolBranchFilter bbf=NULL)
 Assign all x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, BoolVar x, IntAssign vals)
 Assign x with value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=NULL)
 Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
 
BrancherHandle Gecode::branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
 
BrancherHandle Gecode::branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, const Symmetries &syms, BoolBranchFilter bf=NULL)
 Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
 
BrancherHandle Gecode::branch (Home home, const BoolVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, const Symmetries &syms, BoolBranchFilter bf=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
 

Detailed Description

Typedef Documentation

typedef bool(* Gecode::IntBranchFilter)(const Space &home, IntVar x, int i)

Branch filter function type for integer 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 3487 of file int.hh.

typedef bool(* Gecode::BoolBranchFilter)(const Space &home, BoolVar x, int i)

Branch filter function type for Boolean 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 3496 of file int.hh.

typedef double(* Gecode::IntBranchMerit)(const Space &home, IntVar x, int i)

Branch merit function type for integer variables.

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

Definition at line 3507 of file int.hh.

typedef double(* Gecode::BoolBranchMerit)(const Space &home, BoolVar x, int i)

Branch merit function type for Boolean variables.

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

Definition at line 3517 of file int.hh.

typedef int(* Gecode::IntBranchVal)(const Space &home, IntVar x, int i)

Branch value function type for integer 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 3529 of file int.hh.

typedef int(* Gecode::BoolBranchVal)(const Space &home, BoolVar x, int i)

Branch value function type for Boolean 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 3540 of file int.hh.

typedef void(* Gecode::IntBranchCommit)(Space &home, unsigned int a, IntVar x, int i, int n)

Branch commit function type for integer 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 3553 of file int.hh.

typedef void(* Gecode::BoolBranchCommit)(Space &home, unsigned int a, BoolVar x, int i, int n)

Branch commit function type for Boolean 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 3566 of file int.hh.

Function Documentation

BrancherHandle Gecode::branch ( Home  home,
const IntVarArgs &  x,
IntVarBranch  vars,
IntValBranch  vals,
IntBranchFilter  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 IntVarArgs &  x,
TieBreak< IntVarBranch >  vars,
IntValBranch  vals,
IntBranchFilter  bf 
)

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

Definition at line 66 of file branch.cpp.

BrancherHandle Gecode::branch ( Home  home,
IntVar  x,
IntValBranch  vals 
)

Branch over x with value selection vals.

Definition at line 139 of file branch.cpp.

BrancherHandle Gecode::branch ( Home  home,
const BoolVarArgs &  x,
IntVarBranch  vars,
IntValBranch  vals,
BoolBranchFilter  bf 
)

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

Definition at line 165 of file branch.cpp.

BrancherHandle Gecode::branch ( Home  home,
const BoolVarArgs &  x,
TieBreak< IntVarBranch >  vars,
IntValBranch  vals,
BoolBranchFilter  bf 
)

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

Definition at line 179 of file branch.cpp.

BrancherHandle Gecode::branch ( Home  home,
BoolVar  x,
IntValBranch  vals 
)

Branch over x with value selection vals.

Definition at line 225 of file branch.cpp.

BrancherHandle Gecode::assign ( Home  home,
const IntVarArgs &  x,
IntAssign  ia,
IntBranchFilter  bf 
)

Assign all x with value selection vals.

Definition at line 145 of file branch.cpp.

BrancherHandle Gecode::assign ( Home  home,
IntVar  x,
IntAssign  ia 
)

Assign x with value selection vals.

Definition at line 158 of file branch.cpp.

BrancherHandle Gecode::assign ( Home  home,
const BoolVarArgs &  x,
IntAssign  ia,
BoolBranchFilter  bf 
)

Assign all x with value selection vals.

Definition at line 231 of file branch.cpp.

BrancherHandle Gecode::assign ( Home  home,
BoolVar  x,
IntAssign  ia 
)

Assign x with value selection vals.

Definition at line 244 of file branch.cpp.

BrancherHandle Gecode::branch ( Home  home,
const IntVarArgs &  x,
IntVarBranch  vars,
IntValBranch  vals,
const Symmetries &  syms,
IntBranchFilter  bf = NULL 
)

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

Throws LDSBBadValueSelection exception if vals is any of SEL_SPLIT_MIN, SEL_SPLIT_MAX, SEL_RANGE_MIN, SEL_RANGE_MAX, SEL_VALUES_MIN, and SEL_VALUES_MAX, or if vals is SEL_VAL_COMMIT with a custom commit function.

Definition at line 262 of file ldsb.cpp.

BrancherHandle Gecode::branch ( Home  home,
const IntVarArgs &  x,
TieBreak< IntVarBranch >  vars,
IntValBranch  vals,
const Symmetries &  syms,
IntBranchFilter  bf = NULL 
)

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

Throws LDSBBadValueSelection exception if vals is any of SEL_SPLIT_MIN, SEL_SPLIT_MAX, SEL_RANGE_MIN, SEL_RANGE_MAX, SEL_VALUES_MIN, and SEL_VALUES_MAX, or if vals is SEL_VAL_COMMIT with a custom commit function.

Definition at line 307 of file ldsb.cpp.

BrancherHandle Gecode::branch ( Home  home,
const BoolVarArgs &  x,
IntVarBranch  vars,
IntValBranch  vals,
const Symmetries &  syms,
BoolBranchFilter  bf = NULL 
)

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

Throws LDSBBadValueSelection exception if vals is any of SEL_SPLIT_MIN, SEL_SPLIT_MAX, SEL_RANGE_MIN, SEL_RANGE_MAX, SEL_VALUES_MIN, and SEL_VALUES_MAX, or if vals is SEL_VAL_COMMIT with a custom commit function.

Definition at line 422 of file ldsb.cpp.

BrancherHandle Gecode::branch ( Home  home,
const BoolVarArgs &  x,
TieBreak< IntVarBranch >  vars,
IntValBranch  vals,
const Symmetries &  syms,
BoolBranchFilter  bf = NULL 
)

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

Throws LDSBBadValueSelection exception if vals is any of SEL_SPLIT_MIN, SEL_SPLIT_MAX, SEL_RANGE_MIN, SEL_RANGE_MAX, SEL_VALUES_MIN, and SEL_VALUES_MAX, or if vals is SEL_VAL_COMMIT with a custom commit function.

Definition at line 475 of file ldsb.cpp.