Gecode::Int::Extensional::Incremental< View >::SupportEntry Class Reference
#include <extensional.hh>
Inherits Gecode::FreeList.
Detailed Description
template<class View>
class Gecode::Int::Extensional::Incremental< View >::SupportEntry
Entry for storing support.
Definition at line 289 of file extensional.hh.
Constructors | |
| SupportEntry (void) | |
| Default constructor (noop). | |
| SupportEntry (Tuple t0, SupportEntry *n0=NULL) | |
| Initialize with Tuple and next (defaulting to NULL). | |
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 *) |
| No-op (for exceptions). | |
| static void | operator delete (void *, Space *) |
| No-op (use dispose instead). | |
Public Attributes | |
| Tuple | t |
| Supporting Tuple. | |
| SupportEntry * | next |
| Next support. | |
Constructor & Destructor Documentation
template<class View>
| Gecode::Int::Extensional::Incremental< View >::SupportEntry::SupportEntry | ( | void | ) | [inline] |
template<class View>
| Gecode::Int::Extensional::Incremental< View >::SupportEntry::SupportEntry | ( | Tuple | t0, | |
| SupportEntry * | n0 = NULL | |||
| ) | [inline] |
Member Function Documentation
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).
This routine assumes that the list has already been fixed.
Definition at line 72 of file incremental.icc.
template<class View>
| void Gecode::Int::Extensional::Incremental< View >::SupportEntry::dispose | ( | Space * | home | ) | [inline] |
template<class View>
| void * Gecode::Int::Extensional::Incremental< View >::SupportEntry::operator new | ( | size_t | s, | |
| Space * | home | |||
| ) | [inline, static] |
template<class View>
| void Gecode::Int::Extensional::Incremental< View >::SupportEntry::operator delete | ( | void * | ) | [inline, static] |
template<class View>
| void Gecode::Int::Extensional::Incremental< View >::SupportEntry::operator delete | ( | void * | , | |
| Space * | ||||
| ) | [inline, static] |
Member Data Documentation
template<class View>
| Tuple Gecode::Int::Extensional::Incremental< View >::SupportEntry::t |
template<class View>
| SupportEntry* Gecode::Int::Extensional::Incremental< View >::SupportEntry::next |
The documentation for this class was generated from the following files:
- gecode/int/extensional.hh (Revision: 7285)
- gecode/int/extensional/incremental.icc (Revision: 6017)