Gecode::BoolAFC Class Reference
[Branching]

Recording AFC information for Boolean variables. More...

#include <int.hh>

List of all members.

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

---

Detailed Description

Recording AFC information for Boolean variables.

Definition at line 3974 of file int.hh.

---

Constructor & Destructor Documentation

Gecode::BoolAFC::BoolAFC

(

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 65 of file afc.hpp.

Gecode::BoolAFC::BoolAFC

(

const BoolAFC &

a

)

[inline]

Copy constructor.

Definition at line 68 of file afc.hpp.

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

Initialize for Boolean variables x with decay factor d.

Definition at line 77 of file afc.hpp.

---

Member Function Documentation

BoolAFC & Gecode::BoolAFC::operator=

(

const BoolAFC &

a

)

[inline]

Assignment operator.

Definition at line 72 of file afc.hpp.

void Gecode::BoolAFC::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 82 of file afc.hpp.

---

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

• gecode/int.hh (Revision: 15623)
• gecode/int/branch/afc.hpp (Revision: 15434)