Generated on Fri Mar 20 15:56:44 2015 for Gecode by doxygen 1.6.3
Gecode::IntAFC

Gecode::IntAFC Class Reference
[Branching]

Recording AFC information for integer and Boolean variables. More...

#include <int.hh>

List of all members.

Public Member Functions

 IntAFC (void)
 Construct as not yet initialized.
 IntAFC (const IntAFC &a)
 Copy constructor.
IntAFC & operator= (const IntAFC &a)
 Assignment operator.
 IntAFC (Home home, const IntVarArgs &x, double d=1.0)
 Initialize for integer variables x with decay factor d.
 IntAFC (Home home, const BoolVarArgs &x, double d=1.0)
 Initialize for Boolean variables x with decay factor d.
void init (Home, const IntVarArgs &x, double d=1.0)
 Initialize for integer variables x with decay factor d.
void init (Home, const BoolVarArgs &x, double d=1.0)
 Initialize for Boolean variables x with decay factor d.

Detailed Description

Recording AFC information for integer and Boolean variables.

Definition at line 3660 of file int.hh.

Constructor & Destructor Documentation

Gecode::IntAFC::IntAFC ( 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::IntAFC::IntAFC ( const IntAFC &  a  )  [inline]

Copy constructor.

Definition at line 44 of file afc.hpp.

Gecode::IntAFC::IntAFC ( Home  home,
const IntVarArgs &  x,
double  d = 1.0 
) [inline]

Initialize for integer variables x with decay factor d.

Definition at line 53 of file afc.hpp.

Gecode::IntAFC::IntAFC ( Home  home,
const BoolVarArgs &  x,
double  d = 1.0 
) [inline]

Initialize for Boolean variables x with decay factor d.

Definition at line 58 of file afc.hpp.

Member Function Documentation

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

Assignment operator.

Definition at line 48 of file afc.hpp.

void Gecode::IntAFC::init ( Home  home,
const IntVarArgs &  x,
double  d = 1.0 
) [inline]

Initialize for integer 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 63 of file afc.hpp.

void Gecode::IntAFC::init ( Home  home,
const BoolVarArgs &  x,
double  d = 1.0 
) [inline]

Initialize for Boolean 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 68 of file afc.hpp.

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