Generated on Thu Jan 31 2019 20:56:46 for Gecode by doxygen 1.8.15

Recording CHB for set variables. More...

#include <set.hh>

Public Member Functions

 SetCHB (void)
 Construct as not yet initialized. More...
 
Copy constructor SetCHB (const SetCHB &chb)
 
Assignment operator SetCHB &operator= (const SetCHB &chb)
 
 SetCHB (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr)
 Initialize for set variables x. More...
 
void init (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr)
 Initialize for set variables x. More...
 
- Public Member Functions inherited from Gecode::CHB
 CHB (void)
 Construct as not yet intialized. More...
 
 CHB (const CHB &a)
 Copy constructor. More...
 
CHBoperator= (const CHB &a)
 Assignment operator. More...
 
template<class View >
 CHB (Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm)
 Initialize for views x and Q-score as defined by bm. More...
 
template<class View >
void init (Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm)
 Initialize for views x and Q-score as defined by bm. More...
 
 operator bool (void) const
 Test whether already initialized. More...
 
void update (Space &home, bool share, CHB &a)
 Updating during cloning. More...
 
 ~CHB (void)
 Destructor. More...
 
double operator [] (int i) const
 Return chb value at position i. More...
 
int size (void) const
 Return number of chb values. More...
 

Additional Inherited Members

- Static Public Attributes inherited from Gecode::CHB
static const CHB def
 Default (empty) chb information. More...
 
- Protected Member Functions inherited from Gecode::CHB
void update (int i)
 Update chb value at position i. More...
 
void acquire (void)
 Acquire mutex. More...
 
void release (void)
 Release mutex. More...
 
void bump (void)
 Bump failure count and alpha. More...
 
void update (int i, bool failed)
 Update chb information at position i. More...
 
- Protected Attributes inherited from Gecode::CHB
Storagestorage
 Pointer to storage object. More...
 

Detailed Description

Recording CHB for set variables.

Definition at line 1272 of file set.hh.


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