Gecode::IntCHB Class Reference
[Branching]

Recording CHB for integer variables. More...

#include <int.hh>

Public Member Functions
	IntCHB (void)
	Construct as not yet initialized.
	IntCHB (const IntCHB &chb)
	Copy constructor.
IntCHB &	operator= (const IntCHB &chb)
	Assignment operator.
	IntCHB (Home home, const IntVarArgs &x, IntBranchMerit bm=nullptr)
	Initialize for integer variables x.
void	init (Home home, const IntVarArgs &x, IntBranchMerit bm=nullptr)
	Initialize for integer variables x.

Detailed Description

Recording CHB for integer variables.

Definition at line 4107 of file int.hh.

Gecode::IntCHB::IntCHB ( 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.

Gecode::IntCHB::IntCHB ( const IntCHB & chb ) [inline]

Copy constructor.

Definition at line 44 of file chb.hpp.

Initialize for integer 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.

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

Assignment operator.

Definition at line 48 of file chb.hpp.

Initialize for integer 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.

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