Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Extensional::Incremental< View >::SupportEntry Class Reference

Entry for storing support. More...

#include <extensional.hh>

Public Attributes

Tuple t
 Supporting Tuple. More...
 

Linkage access

SupportEntrynext (void) const
 Return next support entry. More...
 
SupportEntry ** nextRef (void)
 Return reference to field for next support entry. More...
 

Constructors

 SupportEntry (Tuple t)
 Initialize with Tuple t. More...
 
 SupportEntry (Tuple t, SupportEntry *n)
 Initialize with Tuple t and next entry n. More...
 

Memory management

void dispose (Space &home, SupportEntry *l)
 Free memory for all elements between this and l (inclusive) More...
 
void dispose (Space &home)
 Free memory for this element. More...
 
static void * operator new (size_t s, Space &home)
 Allocate memory from space. More...
 
static void operator delete (void *p)
 No-op (for exceptions) More...
 
static void operator delete (void *p, Space &home)
 No-op (use dispose instead) More...
 

Additional Inherited Members

- Public Member Functions inherited from Gecode::FreeList
 FreeList (void)
 Use uninitialized. More...
 
 FreeList (FreeList *n)
 Initialize with next freelist object n. More...
 
FreeListnext (void) const
 Return next freelist object. More...
 
FreeList ** nextRef (void)
 Return pointer to next link in freelist object. More...
 
void next (FreeList *n)
 Set next freelist object to n. More...
 
- Protected Attributes inherited from Gecode::FreeList
FreeList_next
 Pointer to next freelist object. More...
 

Detailed Description

template<class View>
class Gecode::Int::Extensional::Incremental< View >::SupportEntry

Entry for storing support.

Definition at line 353 of file extensional.hh.

Constructor & Destructor Documentation

template<class View >
Gecode::Int::Extensional::Incremental< View >::SupportEntry::SupportEntry ( Tuple  t)
inline

Initialize with Tuple t.

Definition at line 76 of file incremental.hpp.

template<class View >
Gecode::Int::Extensional::Incremental< View >::SupportEntry::SupportEntry ( Tuple  t,
SupportEntry n 
)
inline

Initialize with Tuple t and next entry n.

Definition at line 81 of file incremental.hpp.

Member Function Documentation

template<class View >
Incremental< View >::SupportEntry * Gecode::Int::Extensional::Incremental< View >::SupportEntry::next ( void  ) const
inline

Return next support entry.

Definition at line 86 of file incremental.hpp.

template<class View >
Incremental< View >::SupportEntry ** Gecode::Int::Extensional::Incremental< View >::SupportEntry::nextRef ( void  )
inline

Return reference to field for next support entry.

Definition at line 92 of file incremental.hpp.

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)

Definition at line 120 of file incremental.hpp.

template<class View >
void Gecode::Int::Extensional::Incremental< View >::SupportEntry::dispose ( Space home)
inline

Free memory for this element.

Definition at line 114 of file incremental.hpp.

template<class View >
void * Gecode::Int::Extensional::Incremental< View >::SupportEntry::operator new ( size_t  s,
Space home 
)
inlinestatic

Allocate memory from space.

Definition at line 108 of file incremental.hpp.

template<class View >
void Gecode::Int::Extensional::Incremental< View >::SupportEntry::operator delete ( void *  p)
inlinestatic

No-op (for exceptions)

Definition at line 98 of file incremental.hpp.

template<class View >
void Gecode::Int::Extensional::Incremental< View >::SupportEntry::operator delete ( void *  p,
Space home 
)
inlinestatic

No-op (use dispose instead)

Definition at line 102 of file incremental.hpp.

Member Data Documentation

template<class View>
Tuple Gecode::Int::Extensional::Incremental< View >::SupportEntry::t

Supporting Tuple.

Definition at line 356 of file extensional.hh.


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