Generated on Wed Jul 21 2021 00:00:00 for Gecode by doxygen 1.9.1
branch.hpp File Reference

Go to the source code of this file.

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

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.