Generated on Sat Aug 25 2012 15:53:12 for Gecode by doxygen 1.7.5
Gecode::Int::Extensional::Incremental::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

Description of work to be done.


Constructor & Destructor Documentation

Gecode::Int::Extensional::Incremental::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

Incremental< View >::WorkEntry * Gecode::Int::Extensional::Incremental::WorkEntry::next ( void  ) const [inline]

Return next work entry.

Reimplemented from Gecode::FreeList.

Definition at line 136 of file incremental.hpp.

void Gecode::Int::Extensional::Incremental::WorkEntry::next ( WorkEntry n) [inline]

Set next work entry.

Definition at line 142 of file incremental.hpp.

void Gecode::Int::Extensional::Incremental::WorkEntry::dispose ( Space home) [inline]

Free memory for this element.

Definition at line 164 of file incremental.hpp.

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

Allocate memory from space.

Definition at line 158 of file incremental.hpp.

void Gecode::Int::Extensional::Incremental::WorkEntry::operator delete ( void *  p) [inline, static]

No-op (for exceptions)

Definition at line 148 of file incremental.hpp.

void Gecode::Int::Extensional::Incremental::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

Position of view in view array.

Definition at line 393 of file extensional.hh.


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