Generated on Wed Jan 24 2018 21:22:26 for Gecode by doxygen 1.8.13

Modules

 Branching
 
 Selecting set variables
 
 Value selection for set variables
 
 Assigning set variables
 
 Tracing for set variables
 

Classes

class  Gecode::SetAFC
 Recording AFC information for set variables. More...
 
class  Gecode::SetAction
 Recording actions for set variables. More...
 
class  Gecode::SetCHB
 Recording CHB for set variables. More...
 
class  Gecode::SetVarBranch
 Which variable to select for branching. More...
 
class  Gecode::SetValBranch
 Which values to select for branching first. More...
 
class  Gecode::SetAssign
 Which value to select for assignment. More...
 
class  Gecode::SetTraceDelta::Glb
 Delta for the greatest lower bound. More...
 
class  Gecode::SetTraceDelta::Lub
 Delta for the least upper bound. More...
 
class  Gecode::SetTraceDelta
 Trace delta information for set variables. More...
 
class  Gecode::StdSetTracer
 Standard set variable tracer. More...
 

Enumerations

enum  Gecode::SetVarBranch::Select {
  Gecode::SetVarBranch::SEL_NONE = 0, Gecode::SetVarBranch::SEL_RND, Gecode::SetVarBranch::SEL_MERIT_MIN, Gecode::SetVarBranch::SEL_MERIT_MAX,
  Gecode::SetVarBranch::SEL_DEGREE_MIN, Gecode::SetVarBranch::SEL_DEGREE_MAX, Gecode::SetVarBranch::SEL_AFC_MIN, Gecode::SetVarBranch::SEL_AFC_MAX,
  Gecode::SetVarBranch::SEL_ACTION_MIN, Gecode::SetVarBranch::SEL_ACTION_MAX, Gecode::SetVarBranch::SEL_CHB_MIN, Gecode::SetVarBranch::SEL_CHB_MAX,
  Gecode::SetVarBranch::SEL_MIN_MIN, Gecode::SetVarBranch::SEL_MIN_MAX, Gecode::SetVarBranch::SEL_MAX_MIN, Gecode::SetVarBranch::SEL_MAX_MAX,
  Gecode::SetVarBranch::SEL_SIZE_MIN, Gecode::SetVarBranch::SEL_SIZE_MAX, Gecode::SetVarBranch::SEL_DEGREE_SIZE_MIN, Gecode::SetVarBranch::SEL_DEGREE_SIZE_MAX,
  Gecode::SetVarBranch::SEL_AFC_SIZE_MIN, Gecode::SetVarBranch::SEL_AFC_SIZE_MAX, Gecode::SetVarBranch::SEL_ACTION_SIZE_MIN, Gecode::SetVarBranch::SEL_ACTION_SIZE_MAX,
  Gecode::SetVarBranch::SEL_CHB_SIZE_MIN, Gecode::SetVarBranch::SEL_CHB_SIZE_MAX
}
 
enum  Gecode::SetValBranch::Select {
  Gecode::SetValBranch::SEL_MIN_INC, Gecode::SetValBranch::SEL_MIN_EXC, Gecode::SetValBranch::SEL_MED_INC, Gecode::SetValBranch::SEL_MED_EXC,
  Gecode::SetValBranch::SEL_MAX_INC, Gecode::SetValBranch::SEL_MAX_EXC, Gecode::SetValBranch::SEL_RND_INC, Gecode::SetValBranch::SEL_RND_EXC,
  Gecode::SetValBranch::SEL_VAL_COMMIT
}
 
enum  Gecode::SetAssign::Select {
  Gecode::SetAssign::SEL_MIN_INC, Gecode::SetAssign::SEL_MIN_EXC, Gecode::SetAssign::SEL_MED_INC, Gecode::SetAssign::SEL_MED_EXC,
  Gecode::SetAssign::SEL_MAX_INC, Gecode::SetAssign::SEL_MAX_EXC, Gecode::SetAssign::SEL_RND_INC, Gecode::SetAssign::SEL_RND_EXC,
  Gecode::SetAssign::SEL_VAL_COMMIT
}
 

Functions

 Gecode::SetAFC::SetAFC (void)
 Construct as not yet initialized. More...
 
Copy constructor Gecode::SetAFC::SetAFC (const SetAFC &a)
 
Assignment Gecode::SetAFC::operator SetAFC &operator= (const SetAFC &a)
 
Initialize for set variables a x with decay factor aGecode::SetAFC::SetAFC (Home home, const SetVarArgs &x, double d=1.0)
 
void Gecode::SetAFC::init (Home home, const SetVarArgs &x, double d=1.0)
 Initialize for set variables x with decay factor d. More...
 
 Gecode::SetAction::SetAction (void)
 Construct as not yet initialized. More...
 
Copy constructor Gecode::SetAction::SetAction (const SetAction &a)
 
Assignment Gecode::SetAction::operator SetAction &operator= (const SetAction &a)
 
 Gecode::SetAction::SetAction (Home home, const SetVarArgs &x, double d=1.0, SetBranchMerit bm=nullptr)
 Initialize for set variables x with decay factor d. More...
 
void Gecode::SetAction::init (Home home, const SetVarArgs &x, double d=1.0, SetBranchMerit bm=nullptr)
 Initialize for set variables x with decay factor d. More...
 
 Gecode::SetCHB::SetCHB (void)
 Construct as not yet initialized. More...
 
Copy constructor Gecode::SetCHB::SetCHB (const SetCHB &chb)
 
Assignment Gecode::SetCHB::operator SetCHB &operator= (const SetCHB &chb)
 
 Gecode::SetCHB::SetCHB (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr)
 Initialize for set variables x. More...
 
void Gecode::SetCHB::init (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr)
 Initialize for set variables x. More...
 
Initialize with strategy SEL_NONE Gecode::SetVarBranch::SetVarBranch (void)
 
Initialize with random number generator a r Gecode::SetVarBranch::SetVarBranch (Rnd r)
 
Initialize with selection strategy a s and tie break limit function a t Gecode::SetVarBranch::SetVarBranch (Select s, BranchTbl t)
 
Initialize with selection strategy a decay factor a and tie break limit function a t Gecode::SetVarBranch::SetVarBranch (Select s, double d, BranchTbl t)
 
Initialize with selection strategy a afc a and tie break limit function a t Gecode::SetVarBranch::SetVarBranch (Select s, SetAFC a, BranchTbl t)
 
Initialize with selection strategy a action a and tie break limit function a t Gecode::SetVarBranch::SetVarBranch (Select s, SetAction a, BranchTbl t)
 
Initialize with selection strategy a CHB a and tie break limit function a t Gecode::SetVarBranch::SetVarBranch (Select s, SetCHB c, BranchTbl t)
 
Initialize with selection strategy a branch merit function a and tie break limit function a t Gecode::SetVarBranch::SetVarBranch (Select s, SetBranchMerit mf, BranchTbl t)
 
Return selection strategy Select Gecode::SetVarBranch::select (void) const
 
Expand and CHB void Gecode::SetVarBranch::expand (Home home, const SetVarArgs &x)
 
Initialize with selection strategy a s Gecode::SetValBranch::SetValBranch (Select s=SEL_MIN_INC)
 
Initialize with random number generator a r Gecode::SetValBranch::SetValBranch (Select s, Rnd r)
 
Initialize with value function a f and commit function aGecode::SetValBranch::SetValBranch (SetBranchVal v, SetBranchCommit c)
 
Return selection strategy Select Gecode::SetValBranch::select (void) const
 
Initialize with selection strategy a s Gecode::SetAssign::SetAssign (Select s=SEL_MIN_INC)
 
Initialize with random number generator a r Gecode::SetAssign::SetAssign (Select s, Rnd r)
 
Initialize with value function a f and commit function aGecode::SetAssign::SetAssign (SetBranchVal v, SetBranchCommit c)
 
Return selection strategy Select Gecode::SetAssign::select (void) const
 
SymmetryHandle Gecode::VariableSymmetry (const SetVarArgs &x)
 
SymmetryHandle Gecode::VariableSequenceSymmetry (const SetVarArgs &x, int ss)
 Variable sequences in x of size ss are interchangeable. More...
 
void Gecode::relax (Home home, const SetVarArgs &x, const SetVarArgs &sx, Rnd r, double p)
 
 Gecode::StdSetTracer::StdSetTracer (std::ostream &os0=std::cerr)
 Initialize with output stream os0. More...
 
virtual void Gecode::StdSetTracer::init (const Space &home, const SetTraceRecorder &t)
 Print init information. More...
 
virtual void Gecode::StdSetTracer::prune (const Space &home, const SetTraceRecorder &t, const ViewTraceInfo &vti, int i, SetTraceDelta &d)
 Print prune information. More...
 
virtual void Gecode::StdSetTracer::fix (const Space &home, const SetTraceRecorder &t)
 Print fixpoint information. More...
 
virtual void Gecode::StdSetTracer::fail (const Space &home, const SetTraceRecorder &t)
 Print failure information. More...
 
virtual void Gecode::StdSetTracer::done (const Space &home, const SetTraceRecorder &t)
 Print that trace recorder is done. More...
 

Variables

Function type for printing branching alternatives for set variables typedef std::function< void(const Space &home, const Brancher &b, unsigned int a, SetVar x, int i, const int &n, std::ostream &o)> Gecode::SetVarValPrint
 
Which variable to select Select Gecode::SetVarBranch::s
 
Initialize with selection strategy a Gecode::SetVarBranch::s
 
Initialize with selection strategy a decay factor a Gecode::SetVarBranch::d
 
Initialize with selection strategy a afcGecode::SetVarBranch::a
 
Initialize with selection strategy a actionGecode::SetVarBranch::a
 
Initialize with selection strategy a CHB a Gecode::SetVarBranch::c
 
Initialize with selection strategy a branch merit function a Gecode::SetVarBranch::mf
 
Expand Gecode::SetVarBranch::AFC
 
Expand Gecode::SetVarBranch::action
 
Which value to select Select Gecode::SetValBranch::s
 
Which value to select Select Gecode::SetAssign::s
 
Iter::Ranges::RangeList Gecode::SetTraceDelta::Glb::o
 Iterator over old glb. More...
 
Set::GlbRanges< Set::SetViewGecode::SetTraceDelta::Glb::n
 Iterator over new glb. More...
 
Glb Gecode::SetTraceDelta::_glb
 
Iter::Ranges::RangeList Gecode::SetTraceDelta::Lub::o
 Iterator over old lub. More...
 
Set::LubRanges< Set::SetViewGecode::SetTraceDelta::Lub::n
 Iterator over new lub. More...
 
Lub Gecode::SetTraceDelta::_lub
 
std::ostream & Gecode::StdSetTracer::os
 Output stream to use. More...
 
static StdSetTracer Gecode::StdSetTracer::def
 Default tracer (printing to std::cerr) More...
 

Constructor

 Gecode::SetTraceDelta::SetTraceDelta (Set::SetTraceView o, Set::SetView n, const Delta &d)
 Initialize with old trace view o, new view n, and delta d. More...
 

Access to delta iterators

GlbGecode::SetTraceDelta::glb (void)
 Give access to iterator for delta in greatest lower bound (values that have been included) More...
 
LubGecode::SetTraceDelta::lub (void)
 Give access iterator for delta in leat bound (values that have been removed) More...
 

Constructors and initialization

 Gecode::SetTraceDelta::Glb::Glb (RangeList *o, Set::SetView n)
 Initialize with old glb and new glb. More...
 

Constructors and initialization

 Gecode::SetTraceDelta::Lub::Lub (RangeList *o, Set::SetView n)
 Initialize with old lub o and new lub n. More...
 

Detailed Description

Enumeration Type Documentation

◆ Select [1/3]

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

SEL_CHB_MAX 

With highest CHB Q-score.

SEL_MIN_MIN 

With smallest minimum unknown element.

SEL_MIN_MAX 

With largest minimum unknown element.

SEL_MAX_MIN 

With smallest maximum unknown element.

SEL_MAX_MAX 

With largest maximum unknown element.

SEL_SIZE_MIN 

With smallest unknown set.

SEL_SIZE_MAX 

With largest unknown set.

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_ACTION_SIZE_MIN 

With smallest action divided by domain size.

SEL_ACTION_SIZE_MAX 

With largest action divided by domain size.

SEL_CHB_SIZE_MIN 

With smallest CHB Q-score divided by domain size.

SEL_CHB_SIZE_MAX 

With largest CHB Q-score divided by domain size.

Definition at line 1336 of file set.hh.

◆ Select [2/3]

Enumerator
SEL_MIN_INC 

Include smallest element.

SEL_MIN_EXC 

Exclude smallest element.

SEL_MED_INC 

Include median element (rounding downwards)

SEL_MED_EXC 

Exclude median element (rounding downwards)

SEL_MAX_INC 

Include largest element.

SEL_MAX_EXC 

Exclude largest element.

SEL_RND_INC 

Include random element.

SEL_RND_EXC 

Exclude random element.

SEL_VAL_COMMIT 

Select value according to user-defined functions.

Definition at line 1487 of file set.hh.

◆ Select [3/3]

Enumerator
SEL_MIN_INC 

Include smallest element.

SEL_MIN_EXC 

Exclude smallest element.

SEL_MED_INC 

Include median element (rounding downwards)

SEL_MED_EXC 

Exclude median element (rounding downwards)

SEL_MAX_INC 

Include largest element.

SEL_MAX_EXC 

Exclude largest element.

SEL_RND_INC 

Include random element.

SEL_RND_EXC 

Exclude random element.

SEL_VAL_COMMIT 

Select value according to user-defined functions.

Definition at line 1557 of file set.hh.

Function Documentation

◆ SetAFC() [1/3]

Gecode::SetAFC::SetAFC ( void  )
inline

Construct as not yet initialized.

The only member functions that can be used on a constructed but not yet initialized AFC storage is init or the assignment operator.

Definition at line 41 of file afc.hpp.

◆ SetAFC() [2/3]

Gecode::SetAFC::SetAFC ( const SetAFC a)
inline

Definition at line 44 of file afc.hpp.

◆ operator SetAFC &operator=()

Assignment Gecode::SetAFC::operator SetAFC &operator= ( const SetAFC a)

◆ SetAFC() [3/3]

Gecode::SetAFC::SetAFC ( Home  home,
const SetVarArgs x,
double  d = 1.0 
)
inline

Definition at line 53 of file afc.hpp.

◆ init() [1/4]

void Gecode::SetAFC::init ( Home  home,
const SetVarArgs x,
double  d = 1.0 
)
inline

Initialize for set variables x with decay factor d.

This member function can only be used once and only if the AFC storage has been constructed with the default constructor.

Definition at line 58 of file afc.hpp.

◆ SetAction() [1/3]

Gecode::SetAction::SetAction ( void  )
inline

Construct as not yet initialized.

The only member functions that can be used on a constructed but not yet initialized action storage is init or the assignment operator.

Definition at line 41 of file action.hpp.

◆ SetAction() [2/3]

Gecode::SetAction::SetAction ( const SetAction a)
inline

Definition at line 44 of file action.hpp.

◆ operator SetAction &operator=()

Assignment Gecode::SetAction::operator SetAction &operator= ( const SetAction a)

◆ SetAction() [3/3]

Gecode::SetAction::SetAction ( Home  home,
const SetVarArgs x,
double  d = 1.0,
SetBranchMerit  bm = nullptr 
)

Initialize for set variables x with decay factor d.

If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.

Definition at line 42 of file action.cpp.

◆ init() [2/4]

void Gecode::SetAction::init ( Home  home,
const SetVarArgs x,
double  d = 1.0,
SetBranchMerit  bm = nullptr 
)

Initialize for set variables x with decay factor d.

If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.

This member function can only be used once and only if the action storage has been constructed with the default constructor.

Definition at line 49 of file action.cpp.

◆ SetCHB() [1/3]

Gecode::SetCHB::SetCHB ( void  )
inline

Construct as not yet initialized.

The only member functions that can be used on a constructed but not yet initialized CHB storage is init or the assignment operator.

Definition at line 41 of file chb.hpp.

◆ SetCHB() [2/3]

Gecode::SetCHB::SetCHB ( const SetCHB chb)
inline

Definition at line 44 of file chb.hpp.

◆ operator SetCHB &operator=()

Assignment Gecode::SetCHB::operator SetCHB &operator= ( const SetCHB chb)

◆ SetCHB() [3/3]

Gecode::SetCHB::SetCHB ( Home  home,
const SetVarArgs x,
SetBranchMerit  bm = nullptr 
)

Initialize for set variables x.

If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.

Definition at line 42 of file chb.cpp.

◆ init() [3/4]

void Gecode::SetCHB::init ( Home  home,
const SetVarArgs x,
SetBranchMerit  bm = nullptr 
)

Initialize for set variables x.

If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.

This member function can only be used once and only if the action storage has been constructed with the default constructor.

Definition at line 48 of file chb.cpp.

◆ SetVarBranch() [1/8]

Gecode::SetVarBranch::SetVarBranch ( void  )
inline

Definition at line 41 of file var.hpp.

◆ SetVarBranch() [2/8]

Gecode::SetVarBranch::SetVarBranch ( Rnd  r)
inline

Definition at line 49 of file var.hpp.

◆ SetVarBranch() [3/8]

Gecode::SetVarBranch::SetVarBranch ( Select  s,
BranchTbl  t 
)
inline

Definition at line 45 of file var.hpp.

◆ SetVarBranch() [4/8]

Gecode::SetVarBranch::SetVarBranch ( Select  s,
double  d,
BranchTbl  t 
)
inline

Definition at line 53 of file var.hpp.

◆ SetVarBranch() [5/8]

Gecode::SetVarBranch::SetVarBranch ( Select  s,
SetAFC  a,
BranchTbl  t 
)
inline

Definition at line 57 of file var.hpp.

◆ SetVarBranch() [6/8]

Gecode::SetVarBranch::SetVarBranch ( Select  s,
SetAction  a,
BranchTbl  t 
)
inline

Definition at line 61 of file var.hpp.

◆ SetVarBranch() [7/8]

Gecode::SetVarBranch::SetVarBranch ( Select  s,
SetCHB  c,
BranchTbl  t 
)
inline

Definition at line 65 of file var.hpp.

◆ SetVarBranch() [8/8]

Gecode::SetVarBranch::SetVarBranch ( Select  s,
SetBranchMerit  mf,
BranchTbl  t 
)
inline

Definition at line 69 of file var.hpp.

◆ select() [1/3]

SetVarBranch::Select Gecode::SetVarBranch::select ( void  ) const
inline

Definition at line 73 of file var.hpp.

◆ expand()

void Gecode::SetVarBranch::expand ( Home  home,
const SetVarArgs x 
)
inline

Definition at line 78 of file var.hpp.

◆ SetValBranch() [1/3]

Gecode::SetValBranch::SetValBranch ( Select  s = SEL_MIN_INC)
inline

Definition at line 41 of file val.hpp.

◆ SetValBranch() [2/3]

Gecode::SetValBranch::SetValBranch ( Select  s,
Rnd  r 
)
inline

Definition at line 45 of file val.hpp.

◆ SetValBranch() [3/3]

Gecode::SetValBranch::SetValBranch ( SetBranchVal  v,
SetBranchCommit  c 
)
inline

Definition at line 49 of file val.hpp.

◆ select() [2/3]

SetValBranch::Select Gecode::SetValBranch::select ( void  ) const
inline

Definition at line 53 of file val.hpp.

◆ SetAssign() [1/3]

Gecode::SetAssign::SetAssign ( Select  s = SEL_MIN_INC)
inline

Definition at line 41 of file assign.hpp.

◆ SetAssign() [2/3]

Gecode::SetAssign::SetAssign ( Select  s,
Rnd  r 
)
inline

Definition at line 45 of file assign.hpp.

◆ SetAssign() [3/3]

Gecode::SetAssign::SetAssign ( SetBranchVal  v,
SetBranchCommit  c 
)
inline

Definition at line 49 of file assign.hpp.

◆ select() [3/3]

SetAssign::Select Gecode::SetAssign::select ( void  ) const
inline

Definition at line 53 of file assign.hpp.

◆ VariableSymmetry()

Variables in a x are interchangeable SymmetryHandle Gecode::VariableSymmetry ( const SetVarArgs x)

Definition at line 48 of file ldsb.cpp.

◆ VariableSequenceSymmetry()

SymmetryHandle Gecode::VariableSequenceSymmetry ( const SetVarArgs x,
int  ss 
)

Variable sequences in x of size ss are interchangeable.

The size of x must be a multiple of ss.

Definition at line 54 of file ldsb.cpp.

◆ relax()

void Gecode::relax ( Home  home,
const SetVarArgs x,
const SetVarArgs sx,
Rnd  r,
double  p 
)

Definition at line 66 of file relax.cpp.

◆ Glb()

Gecode::SetTraceDelta::Glb::Glb ( RangeList o,
Set::SetView  n 
)
inline

Initialize with old glb and new glb.

Definition at line 41 of file delta.hpp.

◆ Lub()

Gecode::SetTraceDelta::Lub::Lub ( RangeList o,
Set::SetView  n 
)
inline

Initialize with old lub o and new lub n.

Definition at line 46 of file delta.hpp.

◆ SetTraceDelta()

Gecode::SetTraceDelta::SetTraceDelta ( Set::SetTraceView  o,
Set::SetView  n,
const Delta d 
)
inline

Initialize with old trace view o, new view n, and delta d.

Definition at line 52 of file delta.hpp.

◆ glb()

SetTraceDelta::Glb & Gecode::SetTraceDelta::glb ( void  )
inline

Give access to iterator for delta in greatest lower bound (values that have been included)

Definition at line 56 of file delta.hpp.

◆ lub()

SetTraceDelta::Lub & Gecode::SetTraceDelta::lub ( void  )
inline

Give access iterator for delta in leat bound (values that have been removed)

Definition at line 60 of file delta.hpp.

◆ StdSetTracer()

Gecode::StdSetTracer::StdSetTracer ( std::ostream &  os0 = std::cerr)

Initialize with output stream os0.

Definition at line 43 of file tracer.cpp.

◆ init() [4/4]

void Gecode::StdSetTracer::init ( const Space home,
const SetTraceRecorder t 
)
virtual

Print init information.

Definition at line 47 of file tracer.cpp.

◆ prune()

void Gecode::StdSetTracer::prune ( const Space home,
const SetTraceRecorder t,
const ViewTraceInfo vti,
int  i,
SetTraceDelta d 
)
virtual

Print prune information.

Definition at line 56 of file tracer.cpp.

◆ fix()

void Gecode::StdSetTracer::fix ( const Space home,
const SetTraceRecorder t 
)
virtual

Print fixpoint information.

Definition at line 89 of file tracer.cpp.

◆ fail()

void Gecode::StdSetTracer::fail ( const Space home,
const SetTraceRecorder t 
)
virtual

Print failure information.

Definition at line 107 of file tracer.cpp.

◆ done()

void Gecode::StdSetTracer::done ( const Space home,
const SetTraceRecorder t 
)
virtual

Print that trace recorder is done.

Definition at line 125 of file tracer.cpp.

Variable Documentation

◆ SetVarValPrint

Function type for printing branching alternatives for set variables typedef std::function<void(const Space &home, const Brancher& b, unsigned int a, SetVar x, int i, const int& n, std::ostream& o)> Gecode::SetVarValPrint

Definition at line 1322 of file set.hh.

◆ s [1/4]

Initialize with selection strategy a Gecode::SetVarBranch::s
protected

Definition at line 1366 of file set.hh.

◆ s [2/4]

Initialize with selection strategy a Gecode::SetVarBranch::s

Definition at line 1374 of file set.hh.

◆ d

Initialize with selection strategy a decay factor a Gecode::SetVarBranch::d

Definition at line 1374 of file set.hh.

◆ a [1/2]

Initialize with selection strategy a afc a Gecode::SetVarBranch::a

Definition at line 1376 of file set.hh.

◆ a [2/2]

Initialize with selection strategy a action a Gecode::SetVarBranch::a

Definition at line 1378 of file set.hh.

◆ c

Initialize with selection strategy a CHB a Gecode::SetVarBranch::c

Definition at line 1380 of file set.hh.

◆ mf

Initialize with selection strategy a branch merit function a Gecode::SetVarBranch::mf

Definition at line 1382 of file set.hh.

◆ AFC

Expand Gecode::SetVarBranch::AFC

Definition at line 1386 of file set.hh.

◆ action

Expand Gecode::SetVarBranch::action

Definition at line 1386 of file set.hh.

◆ s [3/4]

Which value to select Select Gecode::SetValBranch::s
protected

Definition at line 1500 of file set.hh.

◆ s [4/4]

Which value to select Select Gecode::SetAssign::s
protected

Definition at line 1570 of file set.hh.

◆ o [1/2]

Iter::Ranges::RangeList Gecode::SetTraceDelta::Glb::o
protected

Iterator over old glb.

Definition at line 1755 of file set.hh.

◆ n [1/2]

Set::GlbRanges<Set::SetView> Gecode::SetTraceDelta::Glb::n
protected

Iterator over new glb.

Definition at line 1757 of file set.hh.

◆ _glb

Glb Gecode::SetTraceDelta::_glb

Definition at line 1765 of file set.hh.

◆ o [2/2]

Iter::Ranges::RangeList Gecode::SetTraceDelta::Lub::o
protected

Iterator over old lub.

Definition at line 1772 of file set.hh.

◆ n [2/2]

Set::LubRanges<Set::SetView> Gecode::SetTraceDelta::Lub::n
protected

Iterator over new lub.

Definition at line 1774 of file set.hh.

◆ _lub

Lub Gecode::SetTraceDelta::_lub

Definition at line 1782 of file set.hh.

◆ os

std::ostream& Gecode::StdSetTracer::os
protected

Output stream to use.

Definition at line 1823 of file set.hh.

◆ def

StdSetTracer Gecode::StdSetTracer::def
static

Default tracer (printing to std::cerr)

Definition at line 1839 of file set.hh.