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

Recording AFC information for set variables. More...

#include <set.hh>

Public Member Functions

 SetAFC (void)
 Construct as not yet initialized.
Copy constructor SetAFC (const SetAFC &a)
Assignment operator SetAFC &operator= (const SetAFC &a)
 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.
 AFC (void)
 Construct as not yet intialized.
 AFC (const AFC &a)
 Copy constructor.
AFCoperator= (const AFC &a)
 Assignment operator.
template<class Var>
 AFC (Home home, const VarArgArray< Var > &x, double d, bool share=true)
 Initialize for variables x and decay factor d.
template<class Var>
void init (Home home, const VarArgArray< Var > &x, double d, bool share=true)
 Initialize for variables x and decay factor d.
 operator bool (void) const
 Test whether already initialized.
 ~AFC (void)
 Destructor.
int size (void) const
 Return number of AFC values.
void decay (Space &home, double d)
 Set decay factor to d.
double decay (const Space &home) const
 Return decay factor.

Additional Inherited Members

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

Detailed Description

Recording AFC information for set variables.

Definition at line 1142 of file set.hh.

Constructor & Destructor Documentation

◆ SetAFC() [1/3]

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.

◆ SetAFC() [2/3]

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

Definition at line 40 of file afc.hpp.

◆ SetAFC() [3/3]

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

◆ operator SetAFC &operator=()

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

◆ init()

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: