Generated on Tue May 22 09:40:54 2018 for Gecode by doxygen 1.6.3

Gecode::BoolCHB Class Reference
[Branching]

Recording CHB for Boolean variables. More...

#include <int.hh>

List of all members.

Public Member Functions

 BoolCHB (void)
 Construct as not yet initialized.
 BoolCHB (const BoolCHB &chb)
 Copy constructor.
BoolCHBoperator= (const BoolCHB &chb)
 Assignment operator.
 BoolCHB (Home home, const BoolVarArgs &x, BoolBranchMerit bm=nullptr)
 Initialize for Boolean variables x.
void init (Home home, const BoolVarArgs &x, BoolBranchMerit bm=nullptr)
 Initialize for Boolean variables x.

Detailed Description

Recording CHB for Boolean variables.

Definition at line 4295 of file int.hh.


Constructor & Destructor Documentation

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

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

Copy constructor.

Definition at line 53 of file chb.hpp.

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


Member Function Documentation

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

Assignment operator.

Definition at line 57 of file chb.hpp.

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


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