Generated on Sat Jul 28 2018 17:23:34 for Gecode by doxygen 1.8.14

Recording CHB for Boolean variables. More...

#include <int.hh>

Public Member Functions

 BoolCHB (void)
 Construct as not yet initialized. More...
 
 BoolCHB (const BoolCHB &chb)
 Copy constructor. More...
 
BoolCHBoperator= (const BoolCHB &chb)
 Assignment operator. More...
 
 BoolCHB (Home home, const BoolVarArgs &x, BoolBranchMerit bm=nullptr)
 Initialize for Boolean variables x. More...
 
void init (Home home, const BoolVarArgs &x, BoolBranchMerit bm=nullptr)
 Initialize for Boolean 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 Boolean variables.

Definition at line 4151 of file int.hh.

Constructor & Destructor Documentation

◆ BoolCHB() [1/3]

Gecode::BoolCHB::BoolCHB ( 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 54 of file chb.hpp.

◆ BoolCHB() [2/3]

Gecode::BoolCHB::BoolCHB ( const BoolCHB chb)
inline

Copy constructor.

Definition at line 57 of file chb.hpp.

◆ BoolCHB() [3/3]

Gecode::BoolCHB::BoolCHB ( Home  home,
const BoolVarArgs x,
BoolBranchMerit  bm = nullptr 
)

Initialize for Boolean 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 54 of file chb.cpp.

Member Function Documentation

◆ operator=()

BoolCHB & Gecode::BoolCHB::operator= ( const BoolCHB chb)
inline

Assignment operator.

Definition at line 61 of file chb.hpp.

◆ init()

void Gecode::BoolCHB::init ( Home  home,
const BoolVarArgs x,
BoolBranchMerit  bm = nullptr 
)

Initialize for Boolean 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 60 of file chb.cpp.


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