Generated on Fri Oct 19 11:25:45 2018 for Gecode by doxygen 1.6.3

Gecode::BoolVarBranch Class Reference
[Branching]

Which Boolean variable to select for branching. More...

#include <int.hh>

List of all members.

Public Types

enum  Select {
  SEL_NONE = 0, SEL_RND, SEL_MERIT_MIN, SEL_MERIT_MAX,
  SEL_DEGREE_MIN, SEL_DEGREE_MAX, SEL_AFC_MIN, SEL_AFC_MAX,
  SEL_ACTION_MIN, SEL_ACTION_MAX, SEL_CHB_MIN, SEL_CHB_MAX
}
 

Which variable selection.

More...

Public Member Functions

 BoolVarBranch (void)
 Initialize with strategy SEL_NONE.
 BoolVarBranch (Rnd r)
 Initialize with random number generator r.
 BoolVarBranch (Select s, BranchTbl t)
 Initialize with selection strategy s and tie-break limit function t.
 BoolVarBranch (Select s, double d, BranchTbl t)
 Initialize with selection strategy s, decay factor d, and tie-break limit function t.
 BoolVarBranch (Select s, BoolAFC a, BranchTbl t)
 Initialize with selection strategy s, AFC a, and tie-break limit function t.
 BoolVarBranch (Select s, BoolAction a, BranchTbl t)
 Initialize with selection strategy s, action a, and tie-break limit function t.
 BoolVarBranch (Select s, BoolCHB c, BranchTbl t)
 Initialize with selection strategy s, CHB c, and tie-break limit function t.
 BoolVarBranch (Select s, BoolBranchMerit mf, BranchTbl t)
 Initialize with selection strategy s, branch merit function mf, and tie-break limit function t.
Select select (void) const
 Return selection strategy.
void expand (Home home, const BoolVarArgs &x)
 Expand decay factor into AFC or action.

Protected Attributes

Select s
 Which variable to select.

Detailed Description

Which Boolean variable to select for branching.

Definition at line 4593 of file int.hh.


Member Enumeration Documentation

Which variable selection.

Enumerator:
SEL_NONE 

First unassigned.

SEL_RND 

Random (uniform, for tie breaking).

SEL_MERIT_MIN 

With least merit.

SEL_MERIT_MAX 

With highest merit.

SEL_DEGREE_MIN 

With smallest degree.

SEL_DEGREE_MAX 

With largest degree.

SEL_AFC_MIN 

With smallest accumulated failure count.

SEL_AFC_MAX 

With largest accumulated failure count.

SEL_ACTION_MIN 

With lowest action.

SEL_ACTION_MAX 

With highest action.

SEL_CHB_MIN 

With lowest CHB.

SEL_CHB_MAX 

With highest CHB.

Definition at line 4596 of file int.hh.


Constructor & Destructor Documentation

Gecode::BoolVarBranch::BoolVarBranch ( void   )  [inline]

Initialize with strategy SEL_NONE.

Definition at line 308 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Rnd  r  )  [inline]

Initialize with random number generator r.

Definition at line 316 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Select  s,
BranchTbl  t 
) [inline]

Initialize with selection strategy s and tie-break limit function t.

Definition at line 312 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Select  s,
double  d,
BranchTbl  t 
) [inline]

Initialize with selection strategy s, decay factor d, and tie-break limit function t.

Definition at line 320 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Select  s,
BoolAFC  a,
BranchTbl  t 
) [inline]

Initialize with selection strategy s, AFC a, and tie-break limit function t.

Definition at line 324 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Select  s,
BoolAction  a,
BranchTbl  t 
) [inline]

Initialize with selection strategy s, action a, and tie-break limit function t.

Definition at line 328 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Select  s,
BoolCHB  c,
BranchTbl  t 
) [inline]

Initialize with selection strategy s, CHB c, and tie-break limit function t.

Definition at line 332 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Select  s,
BoolBranchMerit  mf,
BranchTbl  t 
) [inline]

Initialize with selection strategy s, branch merit function mf, and tie-break limit function t.

Definition at line 336 of file var.hpp.


Member Function Documentation

BoolVarBranch::Select Gecode::BoolVarBranch::select ( void   )  const [inline]

Return selection strategy.

Definition at line 340 of file var.hpp.

void Gecode::BoolVarBranch::expand ( Home  home,
const BoolVarArgs x 
) [inline]

Expand decay factor into AFC or action.

Definition at line 345 of file var.hpp.


Member Data Documentation

Which variable to select.

Definition at line 4612 of file int.hh.


The documentation for this class was generated from the following files: