Gecode::Kernel::GPI Class Reference

Global propagator information. More...

#include <gpi.hpp>

List of all members.

Classes
class	Info
	Class for storing propagator information. More...
Public Member Functions
	GPI (void)
	Initialize.
void	decay (double d)
	Set decay factor to d.
double	decay (void) const
	Return decay factor.
void	fail (Info &c)
	Increment failure count.
Info *	allocate (unsigned int p, unsigned int gid)
	Allocate info for existing propagator with pid p.
Info *	allocate (unsigned int gid)
	Allocate new actor info.
bool	unshare (void)
	Provide access to unshare info and set to true.
	~GPI (void)
	Delete.

---

Detailed Description

Global propagator information.

Definition at line 39 of file gpi.hpp.

---

Constructor & Destructor Documentation

Gecode::Kernel::GPI::GPI

(

void

)

[inline]

Initialize.

Definition at line 120 of file gpi.hpp.

Gecode::Kernel::GPI::~GPI

(

void

)

[inline]

Delete.

Definition at line 187 of file gpi.hpp.

---

Member Function Documentation

void Gecode::Kernel::GPI::decay

(

double

d

)

[inline]

Set decay factor to d.

Definition at line 152 of file gpi.hpp.

double Gecode::Kernel::GPI::decay

(

void

)

const [inline]

Return decay factor.

Definition at line 134 of file gpi.hpp.

void Gecode::Kernel::GPI::fail

(

Info &

c

)

[inline]

Increment failure count.

Definition at line 124 of file gpi.hpp.

GPI::Info * Gecode::Kernel::GPI::allocate	(	unsigned int	p,
		unsigned int	gid
	)			[inline]

Allocate info for existing propagator with pid p.

Definition at line 159 of file gpi.hpp.

GPI::Info * Gecode::Kernel::GPI::allocate

(

unsigned int

gid

)

[inline]

Allocate new actor info.

Definition at line 173 of file gpi.hpp.

bool Gecode::Kernel::GPI::unshare

(

void

)

[inline]

Provide access to unshare info and set to true.

Definition at line 143 of file gpi.hpp.

---

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

• gecode/kernel/gpi.hpp
• gecode/kernel/gpi.cpp