Generated on Fri Mar 20 15:56:44 2015 for Gecode by doxygen 1.6.3

Gecode::IntVarBranch Class Reference
[Branching]

Which 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_ACTIVITY_MIN, SEL_ACTIVITY_MAX, SEL_MIN_MIN, SEL_MIN_MAX,
  SEL_MAX_MIN, SEL_MAX_MAX, SEL_SIZE_MIN, SEL_SIZE_MAX,
  SEL_DEGREE_SIZE_MIN, SEL_DEGREE_SIZE_MAX, SEL_AFC_SIZE_MIN, SEL_AFC_SIZE_MAX,
  SEL_ACTIVITY_SIZE_MIN, SEL_ACTIVITY_SIZE_MAX, SEL_REGRET_MIN_MIN, SEL_REGRET_MIN_MAX,
  SEL_REGRET_MAX_MIN, SEL_REGRET_MAX_MAX
}
 

Which variable selection.

More...

Public Member Functions

 IntVarBranch (void)
 Initialize with strategy SEL_NONE.
 IntVarBranch (Rnd r)
 Initialize with random number generator r.
 IntVarBranch (Select s, BranchTbl t)
 Initialize with selection strategy s and tie-break limit function t.
 IntVarBranch (Select s, double d, BranchTbl t)
 Initialize with selection strategy s, decay factor d, and tie-break limit function t.
 IntVarBranch (Select s, AFC a, BranchTbl t)
 Initialize with selection strategy s, AFC a, and tie-break limit function t.
 IntVarBranch (Select s, Activity a, BranchTbl t)
 Initialize with selection strategy s, activity a, and tie-break limit function t.
 IntVarBranch (Select s, VoidFunction 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 IntVarArgs &x)
 Expand decay factor into AFC or activity.
void expand (Home home, const BoolVarArgs &x)
 Expand decay factor into AFC or activity.

Protected Attributes

Select s
 Which variable to select.

Detailed Description

Which variable to select for branching.

Definition at line 3798 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_ACTIVITY_MIN 

With lowest activity.

SEL_ACTIVITY_MAX 

With highest activity.

SEL_MIN_MIN 

With smallest min.

SEL_MIN_MAX 

With largest min.

SEL_MAX_MIN 

With smallest max.

SEL_MAX_MAX 

With largest max.

SEL_SIZE_MIN 

With smallest domain size.

SEL_SIZE_MAX 

With largest domain size.

SEL_DEGREE_SIZE_MIN 

With smallest degree divided by domain size.

SEL_DEGREE_SIZE_MAX 

With largest degree divided by domain size.

SEL_AFC_SIZE_MIN 

With smallest accumulated failure count divided by domain size.

SEL_AFC_SIZE_MAX 

With largest accumulated failure count divided by domain size.

SEL_ACTIVITY_SIZE_MIN 

With smallest activity divided by domain size.

SEL_ACTIVITY_SIZE_MAX 

With largest activity divided by domain size.

SEL_REGRET_MIN_MIN 

With smallest min-regret.

The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.

SEL_REGRET_MIN_MAX 

With largest min-regret.

The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.

SEL_REGRET_MAX_MIN 

With smallest max-regret.

The max-regret of a variable is the difference between the largest and second-largest value still in the domain.

SEL_REGRET_MAX_MAX 

With largest max-regret.

The max-regret of a variable is the difference between the largest and second-largest value still in the domain.

Definition at line 3801 of file int.hh.


Constructor & Destructor Documentation

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

Initialize with strategy SEL_NONE.

Definition at line 41 of file var.hpp.

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

Initialize with random number generator r.

Definition at line 49 of file var.hpp.

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

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

Definition at line 45 of file var.hpp.

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

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

Definition at line 53 of file var.hpp.

Gecode::IntVarBranch::IntVarBranch ( Select  s,
AFC  a,
BranchTbl  t 
) [inline]

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

Definition at line 57 of file var.hpp.

Gecode::IntVarBranch::IntVarBranch ( Select  s,
Activity  a,
BranchTbl  t 
) [inline]

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

Definition at line 61 of file var.hpp.

Gecode::IntVarBranch::IntVarBranch ( Select  s,
VoidFunction  mf,
BranchTbl  t 
) [inline]

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

Definition at line 65 of file var.hpp.


Member Function Documentation

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

Return selection strategy.

Definition at line 69 of file var.hpp.

void Gecode::IntVarBranch::expand ( Home  home,
const IntVarArgs x 
) [inline]

Expand decay factor into AFC or activity.

Definition at line 74 of file var.hpp.

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

Expand decay factor into AFC or activity.

Definition at line 91 of file var.hpp.


Member Data Documentation

Which variable to select.

Definition at line 3851 of file int.hh.


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