Generated on Sat Feb 7 2015 02:01:41 for Gecode by doxygen 1.8.9.1

Recording AFC information for set variables. More...

#include <set.hh>

Public Member Functions

 SetAFC (void)
 Construct as not yet initialized. More...
 
 SetAFC (const SetAFC &a)
 Copy constructor. More...
 
SetAFCoperator= (const SetAFC &a)
 Assignment operator. More...
 
 SetAFC (Home home, const SetVarArgs &x, double d=1.0)
 Initialize for set variables x with decay factor d. More...
 
void init (Home, const SetVarArgs &x, double d=1.0)
 Initialize for set variables x with decay factor d. More...
 
- Public Member Functions inherited from Gecode::AFC
 AFC (void)
 Construct as not yet intialized. More...
 
 AFC (const AFC &a)
 Copy constructor. More...
 
AFCoperator= (const AFC &a)
 Assignment operator. More...
 
template<class Var >
 AFC (Home home, const VarArgArray< Var > &x, double d)
 Initialize for variables x and decay factor d. More...
 
template<class Var >
void init (Home home, const VarArgArray< Var > &x, double d)
 Initialize for views x and decay factor d. More...
 
bool initialized (void) const
 Test whether already initialized. More...
 
void set (Space &home, double a=1.0)
 Set AFC information to a. More...
 
void update (Space &home, bool share, AFC &a)
 Updating during cloning. More...
 
 ~AFC (void)
 Destructor. More...
 
int size (void) const
 Return number of AFC values. More...
 
void decay (Space &home, double d)
 Set decay factor to d. More...
 
double decay (const Space &home) const
 Return decay factor. More...
 

Additional Inherited Members

- Static Public Attributes inherited from Gecode::AFC
static const AFC def
 Default (empty) AFC information. More...
 
- Protected Attributes inherited from Gecode::AFC
int n
 Number of views. More...
 

Detailed Description

Recording AFC information for set variables.

Definition at line 1153 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 41 of file afc.hpp.

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

Copy constructor.

Definition at line 44 of file afc.hpp.

Gecode::SetAFC::SetAFC ( Home  home,
const SetVarArgs x,
double  d = 1.0 
)
inline

Initialize for set variables x with decay factor d.

Definition at line 53 of file afc.hpp.

Member Function Documentation

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

Assignment operator.

Definition at line 48 of file afc.hpp.

void Gecode::SetAFC::init ( Home  home,
const SetVarArgs x,
double  d = 1.0 
)
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.

Definition at line 58 of file afc.hpp.


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