Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
branch.hh File Reference

Go to the source code of this file.

Classes

class  Gecode::FlatZinc::IntBoolVarBranch
 Which integer or Boolean variable to select for branching. More...
 
class  Gecode::FlatZinc::MeritMaxAFC
 Select by maximal AFC. More...
 
class  Gecode::FlatZinc::MeritMaxAFCSize
 Select by maximal AFC over size. More...
 
class  Gecode::FlatZinc::MeritMaxAction
 Select by maximal Action. More...
 
class  Gecode::FlatZinc::MeritMaxActionSize
 Select by maximal Action over size. More...
 
class  Gecode::FlatZinc::MeritMaxCHB
 Select by maximal CHB. More...
 
class  Gecode::FlatZinc::MeritMaxCHBSize
 Select by maximal CHB over size. More...
 
class  Gecode::FlatZinc::PosIntChoice
 Choice storing position and value More...
 
class  Gecode::FlatZinc::IntBoolBrancherBase
 Base-class for brancher for integer and Boolean views. More...
 
class  Gecode::FlatZinc::IntBoolBrancher< Merit >
 Brancher for integer and Boolean views. More...
 

Functions

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_MAX (double d=1.0)
 Variable selection for both integer and Boolean variables. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_MAX (IntAFC ia, BoolAFC ba)
 Select variable with largest accumulated failure count. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_MAX (double d=1.0)
 Select variable with highest action. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_MAX (IntAction ia, BoolAction ba)
 Select variable with highest action. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_MAX (double d=1.0)
 Select variable with largest CHB Q-score. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_MAX (IntCHB ic, BoolCHB bc)
 Select variable with largest CHB Q-score. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_SIZE_MAX (double d=1.0)
 Select variable with largest accumulated failure count divided by domain size. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_SIZE_MAX (IntAFC ia, BoolAFC ba)
 Select variable with largest accumulated failure count divided by domain size. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_SIZE_MAX (double d=1.0)
 Select variable with largest action divided by domain size. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_SIZE_MAX (IntAction ia, BoolAction ba)
 Select variable with largest action divided by domain size. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_SIZE_MAX (double d=1.0)
 Select variable with largest CHB Q-score divided by domain size. More...
 
IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_SIZE_MAX (IntCHB ic, BoolCHB bc)
 Select variable with largest CHB Q-score divided by domain size. More...
 
BoolValBranch Gecode::FlatZinc::i2b (const IntValBranch &ivb)
 Map respective integer value selection to Boolean value selection. More...
 
void Gecode::FlatZinc::branch (Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
 Branch function for integer and Boolean variables. More...
 

Function Documentation

◆ INTBOOL_VAR_AFC_MAX() [1/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_MAX ( double  d = 1.0)
inline

Variable selection for both integer and Boolean variables.

Select variable with largest accumulated failure count

Definition at line 114 of file branch.hpp.

◆ INTBOOL_VAR_AFC_MAX() [2/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_MAX ( IntAFC  ia,
BoolAFC  ba 
)
inline

Select variable with largest accumulated failure count.

Definition at line 118 of file branch.hpp.

◆ INTBOOL_VAR_ACTION_MAX() [1/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_MAX ( double  d = 1.0)
inline

Select variable with highest action.

Definition at line 122 of file branch.hpp.

◆ INTBOOL_VAR_ACTION_MAX() [2/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_MAX ( IntAction  ia,
BoolAction  ba 
)
inline

Select variable with highest action.

Definition at line 126 of file branch.hpp.

◆ INTBOOL_VAR_CHB_MAX() [1/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_MAX ( double  d = 1.0)
inline

Select variable with largest CHB Q-score.

Definition at line 130 of file branch.hpp.

◆ INTBOOL_VAR_CHB_MAX() [2/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_MAX ( IntCHB  ic,
BoolCHB  bc 
)
inline

Select variable with largest CHB Q-score.

Definition at line 134 of file branch.hpp.

◆ INTBOOL_VAR_AFC_SIZE_MAX() [1/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_SIZE_MAX ( double  d = 1.0)
inline

Select variable with largest accumulated failure count divided by domain size.

Definition at line 138 of file branch.hpp.

◆ INTBOOL_VAR_AFC_SIZE_MAX() [2/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_AFC_SIZE_MAX ( IntAFC  ia,
BoolAFC  ba 
)
inline

Select variable with largest accumulated failure count divided by domain size.

Definition at line 142 of file branch.hpp.

◆ INTBOOL_VAR_ACTION_SIZE_MAX() [1/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_SIZE_MAX ( double  d = 1.0)
inline

Select variable with largest action divided by domain size.

Definition at line 146 of file branch.hpp.

◆ INTBOOL_VAR_ACTION_SIZE_MAX() [2/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_ACTION_SIZE_MAX ( IntAction  ia,
BoolAction  ba 
)
inline

Select variable with largest action divided by domain size.

Definition at line 150 of file branch.hpp.

◆ INTBOOL_VAR_CHB_SIZE_MAX() [1/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_SIZE_MAX ( double  d = 1.0)
inline

Select variable with largest CHB Q-score divided by domain size.

Definition at line 154 of file branch.hpp.

◆ INTBOOL_VAR_CHB_SIZE_MAX() [2/2]

IntBoolVarBranch Gecode::FlatZinc::INTBOOL_VAR_CHB_SIZE_MAX ( IntCHB  ic,
BoolCHB  bc 
)
inline

Select variable with largest CHB Q-score divided by domain size.

Definition at line 158 of file branch.hpp.

◆ i2b()

BoolValBranch Gecode::FlatZinc::i2b ( const IntValBranch ivb)
inline

Map respective integer value selection to Boolean value selection.

Definition at line 421 of file branch.hpp.

◆ branch()

GECODE_FLATZINC_EXPORT void Gecode::FlatZinc::branch ( Home  home,
const IntVarArgs x,
const BoolVarArgs y,
IntBoolVarBranch  vars,
IntValBranch  vals 
)

Branch function for integer and Boolean variables.

Definition at line 120 of file branch.cpp.