Generated on Thu Mar 22 10:39:57 2012 for Gecode by doxygen 1.6.3

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



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