Gecode::Int::Rel::NaryLqLe< View, o >::Pos Class Reference

Positions in view array that have to be propagated. More...

#include <rel.hh>

List of all members.

Public Attributes
int	p
	Position of view in view array.
Constructor
	Pos (int p, Pos *n)
	Initialize with position p and next position n.
Linkage access
Pos *	next (void) const
	Return next position.
Memory management
void	dispose (Space &home)
	Free memory for this position.
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, int o>
class Gecode::Int::Rel::NaryLqLe< View, o >::Pos

Positions in view array that have to be propagated.

Definition at line 220 of file rel.hh.

---

Constructor & Destructor Documentation

template<class View , int o>

Gecode::Int::Rel::NaryLqLe< View, o >::Pos::Pos	(	int	p,
		Pos *	n
	)		[inline]

Initialize with position p and next position n.

Definition at line 146 of file lq-le.hpp.

---

Member Function Documentation

template<class View , int o>

NaryLqLe< View, o >::Pos * Gecode::Int::Rel::NaryLqLe< View, o >::Pos::next

(

void

)

const [inline]

Return next position.

Reimplemented from Gecode::FreeList.

Definition at line 151 of file lq-le.hpp.

template<class View , int o>

void Gecode::Int::Rel::NaryLqLe< View, o >::Pos::dispose

(

Space &

home

)

[inline]

Free memory for this position.

Definition at line 173 of file lq-le.hpp.

template<class View , int o>

void * Gecode::Int::Rel::NaryLqLe< View, o >::Pos::operator new	(	size_t	s,
		Space &	home
	)		[inline, static]

Allocate memory from space.

Definition at line 167 of file lq-le.hpp.

template<class View , int o>

void Gecode::Int::Rel::NaryLqLe< View, o >::Pos::operator delete

(

void *

p

)

[inline, static]

No-op (for exceptions)

Definition at line 157 of file lq-le.hpp.

template<class View , int o>

void Gecode::Int::Rel::NaryLqLe< View, o >::Pos::operator delete	(	void *	p,
		Space &	home
	)		[inline, static]

No-op (use dispose instead)

Definition at line 161 of file lq-le.hpp.

---

Member Data Documentation

template<class View, int o>

int Gecode::Int::Rel::NaryLqLe< View, o >::Pos::p

Position of view in view array.

Definition at line 223 of file rel.hh.

---

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

• gecode/int/rel.hh (Revision: 12151)
• gecode/int/rel/lq-le.hpp (Revision: 12196)