Range list class. More...
#include <ranges-list.hpp>
Public Attributes | |
int | min |
Minimum and maximum of a range. | |
int | max |
RangeList * | next |
Next element. | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s, BlockAllocator< RangeList, Region, 512 > &ba) |
Allocate memory from block allocator ba. | |
static void | operator delete (void *, BlockAllocator< RangeList, Region, 512 > &ba) |
Noop (memory freed only when block allocator deleted) | |
static void | operator delete (void *) |
Noop (memory freed only when block allocator deleted) | |
Range list class.
Definition at line 44 of file ranges-list.hpp.
int Gecode::Iter::Ranges::RangeListIter::RangeList::min |
Minimum and maximum of a range.
Definition at line 47 of file ranges-list.hpp.
int Gecode::Iter::Ranges::RangeListIter::RangeList::max |
Definition at line 47 of file ranges-list.hpp.
RangeList* Gecode::Iter::Ranges::RangeListIter::RangeList::next |
Next element.
Definition at line 49 of file ranges-list.hpp.