Gecode::FloatAFC Class Reference
[Branching on float variables]

Recording AFC information for float variables. More...

#include <float.hh>

List of all members.

Public Member Functions
	FloatAFC (void)
	Construct as not yet initialized.
	FloatAFC (const FloatAFC &a)
	Copy constructor.
FloatAFC &	operator= (const FloatAFC &a)
	Assignment operator.
	FloatAFC (Home home, const FloatVarArgs &x, double d=1.0)
	Initialize for float variables x with decay factor d.
void	init (Home home, const FloatVarArgs &x, double d=1.0)
	Initialize for float variables x with decay factor d.

---

Detailed Description

Recording AFC information for float variables.

Definition at line 1455 of file float.hh.

---

Constructor & Destructor Documentation

Gecode::FloatAFC::FloatAFC

(

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::FloatAFC::FloatAFC

(

const FloatAFC &

a

)

[inline]

Copy constructor.

Definition at line 44 of file afc.hpp.

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

Initialize for float variables x with decay factor d.

Definition at line 53 of file afc.hpp.

---

Member Function Documentation

FloatAFC & Gecode::FloatAFC::operator=

(

const FloatAFC &

a

)

[inline]

Assignment operator.

Definition at line 48 of file afc.hpp.

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

Initialize for float 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:

• gecode/float.hh (Revision: 15631)
• gecode/float/branch/afc.hpp (Revision: 13310)