Generated on Thu Apr 11 13:59:49 2019 for Gecode by doxygen 1.6.3

Gecode::SetAFC Class Reference
[Branching]

Recording AFC information for set variables. More...

#include <set.hh>

List of all members.

Public Member Functions

 SetAFC (void)
 Construct as not yet initialized.
 SetAFC (const SetAFC &a)
 Copy constructor.
SetAFCoperator= (const SetAFC &a)
 Assignment operator.
 SetAFC (Home home, const SetVarArgs &x, double d=1.0, bool share=true)
 Initialize for set variables x and decay factor d.
void init (Home home, const SetVarArgs &x, double d=1.0, bool share=true)
 Initialize for set variables x with decay factor d.

Detailed Description

Recording AFC information for set variables.

Definition at line 1136 of file set.hh.


Constructor & Destructor Documentation

Gecode::SetAFC::SetAFC ( void   )  [inline]

Construct as not yet initialized.

The only member functions that can be used on a constructed but not yet initialized AFC storage is init or the assignment operator.

Definition at line 37 of file afc.hpp.

Gecode::SetAFC::SetAFC ( const SetAFC a  )  [inline]

Copy constructor.

Definition at line 40 of file afc.hpp.

Gecode::SetAFC::SetAFC ( Home  home,
const SetVarArgs x,
double  d = 1.0,
bool  share = true 
) [inline]

Initialize for set variables x and decay factor d.

If several AFC objects are created for a space or its clones, the AFC values are shared between spaces. If the values should not be shared, share should be false.

Definition at line 49 of file afc.hpp.


Member Function Documentation

SetAFC & Gecode::SetAFC::operator= ( const SetAFC a  )  [inline]

Assignment operator.

Definition at line 44 of file afc.hpp.

void Gecode::SetAFC::init ( Home  home,
const SetVarArgs x,
double  d = 1.0,
bool  share = true 
) [inline]

Initialize for set variables x with decay factor d.

This member function can only be used once and only if the AFC storage has been constructed with the default constructor.

If several AFC objects are created for a space or its clones, the AFC values are shared between spaces. If the values should not be shared, share should be false.

Definition at line 54 of file afc.hpp.


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