Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

Recording CHB for set variables. More...

#include <set.hh>

Public Member Functions

 SetCHB (void)
 Construct as not yet initialized.
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.
void init (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr)
 Initialize for set variables x.
 CHB (void)
 Construct as not yet intialized.
 CHB (const CHB &a)
 Copy constructor.
CHBoperator= (const CHB &a)
 Assignment operator.
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.
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.
 ~CHB (void)
 Destructor.
double operator[] (int i) const
 Return chb value at position i.
int size (void) const
 Return number of chb values.
Public Member Functions inherited from Gecode::SharedHandle
 SharedHandle (void)
 Create shared handle with no object pointing to.
 SharedHandle (SharedHandle::Object *so)
 Create shared handle that points to shared object so.
 SharedHandle (const SharedHandle &sh)
 Copy constructor maintaining reference count.
SharedHandleoperator= (const SharedHandle &sh)
 Assignment operator maintaining reference count.
 ~SharedHandle (void)
 Destructor that maintains reference count.
 operator bool (void) const
 Whether handle points to an object.

Additional Inherited Members

static const CHB def
 Default (empty) chb information.
Protected Member Functions inherited from Gecode::CHB
Storageobject (void) const
 Return object of correct type.
void object (Storage &o)
 Set object to o.
void update (int i)
 Update chb value at position i.
void acquire (void)
 Acquire mutex.
void release (void)
 Release mutex.
void bump (void)
 Bump failure count and alpha.
void update (int i, bool failed)
 Update chb information at position i.
Protected Member Functions inherited from Gecode::SharedHandle
SharedHandle::Objectobject (void) const
 Access to the shared object.
void object (SharedHandle::Object *n)
 Modify shared object.

Detailed Description

Recording CHB for set variables.

Definition at line 1241 of file set.hh.

Constructor & Destructor Documentation

◆ 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 37 of file chb.hpp.

◆ SetCHB() [2/3]

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

Definition at line 40 of file chb.hpp.

◆ 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 38 of file chb.cpp.

Member Function Documentation

◆ operator SetCHB &operator=()

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

◆ init()

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 44 of file chb.cpp.


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