Generated on Tue Dec 13 2011 10:02:49 for Gecode by doxygen 1.7.4
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

Posnext (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: