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

Entry for storing support. More...

#include <extensional.hh>

List of all members.

Public Attributes
Tuple	t
	Supporting Tuple.
Linkage access
SupportEntry *	next (void) const
	Return next support entry.
SupportEntry **	nextRef (void)
	Return reference to field for next support entry.
Constructors
	SupportEntry (Tuple t)
	Initialize with Tuple t.
	SupportEntry (Tuple t, SupportEntry *n)
	Initialize with Tuple t and next entry n.
Memory management
void	dispose (Space &home, SupportEntry *l)
	Free memory for all elements between this and l (inclusive).
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 >::SupportEntry

Entry for storing support.

Definition at line 355 of file extensional.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Extensional::Incremental< View >::SupportEntry::SupportEntry

(

Tuple

t

)

[inline]

Initialize with Tuple t.

Definition at line 76 of file incremental.hpp.

template<class View >

Gecode::Int::Extensional::Incremental< View >::SupportEntry::SupportEntry	(	Tuple	t,
		SupportEntry *	n
	)			[inline]

Initialize with Tuple t and next entry n.

Definition at line 81 of file incremental.hpp.

---

Member Function Documentation

template<class View >

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

(

void

)

const [inline]

Return next support entry.

Reimplemented from Gecode::FreeList.

Definition at line 86 of file incremental.hpp.

template<class View >

Incremental< View >::SupportEntry ** Gecode::Int::Extensional::Incremental< View >::SupportEntry::nextRef

(

void

)

[inline]

Return reference to field for next support entry.

Reimplemented from Gecode::FreeList.

Definition at line 92 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::SupportEntry::dispose	(	Space &	home,
		SupportEntry *	l
	)			[inline]

Free memory for all elements between this and l (inclusive).

Definition at line 120 of file incremental.hpp.

template<class View >

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

(

Space &

home

)

[inline]

Free memory for this element.

Definition at line 114 of file incremental.hpp.

template<class View >

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

Allocate memory from space.

Definition at line 108 of file incremental.hpp.

template<class View >

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

(

void *

p

)

[inline, static]

No-op (for exceptions).

Definition at line 98 of file incremental.hpp.

template<class View >

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

No-op (use dispose instead).

Definition at line 102 of file incremental.hpp.

---

Member Data Documentation

template<class View>

Tuple Gecode::Int::Extensional::Incremental< View >::SupportEntry::t

Supporting Tuple.

Definition at line 358 of file extensional.hh.

---

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

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