Generated on Sat Feb 9 2019 14:01:08 for Gecode by doxygen 1.8.5

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, IntVarValPrint vvp=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, IntVarValPrint vvp=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, IntVar x, IntValBranch vals, IntVarValPrint vvp=NULL)
 Branch over x with value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=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, BoolVarValPrint vvp=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals. More...
 
BrancherHandle Gecode::branch (Home home, BoolVar x, IntValBranch vals, BoolVarValPrint vvp=NULL)
 Branch over x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, const IntVarArgs &x, IntAssign vals, IntBranchFilter ibf=NULL, IntVarValPrint vvp=NULL)
 Assign all x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, IntVar x, IntAssign vals, IntVarValPrint vvp=NULL)
 Assign x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, const BoolVarArgs &x, IntAssign vals, BoolBranchFilter bbf=NULL, BoolVarValPrint vvp=NULL)
 Assign all x with value selection vals. More...
 
BrancherHandle Gecode::assign (Home home, BoolVar x, IntAssign vals, BoolVarValPrint vvp=NULL)
 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, IntVarValPrint vvp=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, IntVarValPrint vvp=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, BoolVarValPrint vvp=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, BoolVarValPrint vvp=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 3568 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 3577 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 3588 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 3598 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 3610 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 3621 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 3634 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 3647 of file int.hh.

Function Documentation

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

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

Definition at line 67 of file branch.cpp.

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

Branch over x with value selection vals.

Definition at line 144 of file branch.cpp.

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

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

Definition at line 170 of file branch.cpp.

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

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

Definition at line 185 of file branch.cpp.

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

Branch over x with value selection vals.

Definition at line 231 of file branch.cpp.

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

Assign all x with value selection vals.

Definition at line 150 of file branch.cpp.

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

Assign x with value selection vals.

Definition at line 163 of file branch.cpp.

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

Assign all x with value selection vals.

Definition at line 237 of file branch.cpp.

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

Assign x with value selection vals.

Definition at line 250 of file branch.cpp.

BrancherHandle Gecode::branch ( Home  home,
const IntVarArgs &  x,
IntVarBranch  vars,
IntValBranch  vals,
const Symmetries &  syms,
IntBranchFilter  bf = NULL,
IntVarValPrint  vvp = 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 263 of file ldsb.cpp.

BrancherHandle Gecode::branch ( Home  home,
const IntVarArgs &  x,
TieBreak< IntVarBranch >  vars,
IntValBranch  vals,
const Symmetries &  syms,
IntBranchFilter  bf = NULL,
IntVarValPrint  vvp = 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 311 of file ldsb.cpp.

BrancherHandle Gecode::branch ( Home  home,
const BoolVarArgs &  x,
IntVarBranch  vars,
IntValBranch  vals,
const Symmetries &  syms,
BoolBranchFilter  bf = NULL,
BoolVarValPrint  vvp = 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 427 of file ldsb.cpp.

BrancherHandle Gecode::branch ( Home  home,
const BoolVarArgs &  x,
TieBreak< IntVarBranch >  vars,
IntValBranch  vals,
const Symmetries &  syms,
BoolBranchFilter  bf = NULL,
BoolVarValPrint  vvp = 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 482 of file ldsb.cpp.