Gecode::FlatZinc::IntBoolVarBranch Class Reference
Which integer or Boolean variable to select for branching. More...
#include <branch.hh>
Public Types | |
enum | Select { SEL_AFC_MAX, SEL_ACTION_MAX, SEL_CHB_MAX, SEL_AFC_SIZE_MAX, SEL_ACTION_SIZE_MAX, SEL_CHB_SIZE_MAX } |
Which variable selection. More... | |
Public Member Functions | |
IntBoolVarBranch (Select s, double d) | |
Initialize with selection strategy s and decay factor d. | |
IntBoolVarBranch (Select s, IntAFC i, BoolAFC b) | |
Initialize with selection strategy s and AFC i and b. | |
IntBoolVarBranch (Select s, IntAction i, BoolAction b) | |
Initialize with selection strategy s and action i and b. | |
IntBoolVarBranch (Select s, IntCHB i, BoolCHB b) | |
Initialize with selection strategy s and CHB i and b. | |
Select | select (void) const |
Return selection strategy. | |
IntAFC | intafc (void) const |
Return integer AFC. | |
BoolAFC | boolafc (void) const |
Return Boolean AFC. | |
IntAction | intaction (void) const |
Return integer action. | |
BoolAction | boolaction (void) const |
Return Boolean action. | |
IntCHB | intchb (void) const |
Return integer CHB. | |
BoolCHB | boolchb (void) const |
Return Boolean AFC. | |
void | expand (Home home, const IntVarArgs &x, const BoolVarArgs &y) |
Expand AFC, action, and CHB. | |
Protected Attributes | |
Select | s |
Which variable to select. | |
IntAFC | iafc |
Integer AFC. | |
BoolAFC | bafc |
Boolean AFC. | |
IntAction | iaction |
Integer action. | |
BoolAction | baction |
Boolean action. | |
IntCHB | ichb |
Integer CHB. | |
BoolCHB | bchb |
Boolean CHB. |
Detailed Description
Which integer or Boolean variable to select for branching.
Definition at line 44 of file branch.hh.
Member Enumeration Documentation
Which variable selection.
- Enumerator:
SEL_AFC_MAX With largest accumulated failure count.
SEL_ACTION_MAX With highest action.
SEL_CHB_MAX With highest CHB Q-score.
SEL_AFC_SIZE_MAX With largest accumulated failure count divided by domain size.
SEL_ACTION_SIZE_MAX With largest action divided by domain size.
SEL_CHB_SIZE_MAX With largest CHB Q-score divided by domain size.
Constructor & Destructor Documentation
Gecode::FlatZinc::IntBoolVarBranch::IntBoolVarBranch | ( | Select | s, | |
double | d | |||
) | [inline] |
Initialize with selection strategy s and decay factor d.
Definition at line 37 of file branch.hpp.
Initialize with selection strategy s and AFC i and b.
Definition at line 41 of file branch.hpp.
Gecode::FlatZinc::IntBoolVarBranch::IntBoolVarBranch | ( | Select | s, | |
IntAction | i, | |||
BoolAction | b | |||
) | [inline] |
Initialize with selection strategy s and action i and b.
Definition at line 45 of file branch.hpp.
Initialize with selection strategy s and CHB i and b.
Definition at line 49 of file branch.hpp.
Member Function Documentation
IntBoolVarBranch::Select Gecode::FlatZinc::IntBoolVarBranch::select | ( | void | ) | const [inline] |
Return selection strategy.
Definition at line 53 of file branch.hpp.
IntAFC Gecode::FlatZinc::IntBoolVarBranch::intafc | ( | void | ) | const [inline] |
Return integer AFC.
Definition at line 58 of file branch.hpp.
BoolAFC Gecode::FlatZinc::IntBoolVarBranch::boolafc | ( | void | ) | const [inline] |
Return Boolean AFC.
Definition at line 62 of file branch.hpp.
IntAction Gecode::FlatZinc::IntBoolVarBranch::intaction | ( | void | ) | const [inline] |
Return integer action.
Definition at line 67 of file branch.hpp.
BoolAction Gecode::FlatZinc::IntBoolVarBranch::boolaction | ( | void | ) | const [inline] |
Return Boolean action.
Definition at line 71 of file branch.hpp.
IntCHB Gecode::FlatZinc::IntBoolVarBranch::intchb | ( | void | ) | const [inline] |
Return integer CHB.
Definition at line 76 of file branch.hpp.
BoolCHB Gecode::FlatZinc::IntBoolVarBranch::boolchb | ( | void | ) | const [inline] |
Return Boolean AFC.
Definition at line 80 of file branch.hpp.
void Gecode::FlatZinc::IntBoolVarBranch::expand | ( | Home | home, | |
const IntVarArgs & | x, | |||
const BoolVarArgs & | y | |||
) | [inline] |
Definition at line 84 of file branch.hpp.
Member Data Documentation
Select Gecode::FlatZinc::IntBoolVarBranch::s [protected] |
IntAFC Gecode::FlatZinc::IntBoolVarBranch::iafc [protected] |
BoolAFC Gecode::FlatZinc::IntBoolVarBranch::bafc [protected] |
IntAction Gecode::FlatZinc::IntBoolVarBranch::iaction [protected] |
IntCHB Gecode::FlatZinc::IntBoolVarBranch::ichb [protected] |
BoolCHB Gecode::FlatZinc::IntBoolVarBranch::bchb [protected] |
The documentation for this class was generated from the following files:
- gecode/flatzinc/branch.hh
- gecode/flatzinc/branch.hpp