Gecode::Int::Extensional::Incremental< View >::WorkEntry Class Reference

Description of work to be done. More...

#include <extensional.hh>

List of all members.

Public Attributes
int	i
	Position of view in view array.
int	n
	Value.
Constructor
	WorkEntry (int i, int n, WorkEntry *ne)
	Initialize with position i, value n, and next entry ne.
Linkage access
WorkEntry *	next (void) const
	Return next work entry.
void	next (WorkEntry *n)
	Set next work entry.
Memory management
void	dispose (Space &home)
	Free memory for this element.
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p)
	No-op (for exceptions)
static void	operator delete (void *p, Space &home)
	No-op (use dispose instead)

---

Detailed Description

template<class View>
class Gecode::Int::Extensional::Incremental< View >::WorkEntry

Description of work to be done.

Definition at line 390 of file extensional.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Extensional::Incremental< View >::WorkEntry::WorkEntry	(	int	i,
		int	n,
		WorkEntry *	ne
	)		[inline]

Initialize with position i, value n, and next entry ne.

Definition at line 131 of file incremental.hpp.

---

Member Function Documentation

template<class View >

Incremental< View >::WorkEntry * Gecode::Int::Extensional::Incremental< View >::WorkEntry::next

(

void

)

const [inline]

Return next work entry.

Reimplemented from Gecode::FreeList.

Definition at line 136 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::WorkEntry::next

(

WorkEntry *

n

)

[inline]

Set next work entry.

Definition at line 142 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::WorkEntry::dispose

(

Space &

home

)

[inline]

Free memory for this element.

Definition at line 164 of file incremental.hpp.

template<class View >

void * Gecode::Int::Extensional::Incremental< View >::WorkEntry::operator new	(	size_t	s,
		Space &	home
	)		[inline, static]

Allocate memory from space.

Definition at line 158 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::WorkEntry::operator delete

(

void *

p

)

[inline, static]

No-op (for exceptions)

Definition at line 148 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::WorkEntry::operator delete	(	void *	p,
		Space &	home
	)		[inline, static]

No-op (use dispose instead)

Definition at line 152 of file incremental.hpp.

---

Member Data Documentation

template<class View>

int Gecode::Int::Extensional::Incremental< View >::WorkEntry::i

Position of view in view array.

Definition at line 393 of file extensional.hh.

template<class View>

int Gecode::Int::Extensional::Incremental< View >::WorkEntry::n

Value.

Definition at line 395 of file extensional.hh.

---

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

• gecode/int/extensional.hh (Revision: 11192)
• gecode/int/extensional/incremental.hpp (Revision: 11192)