Shared object for allocation. More...
#include <ranges-list.hpp>
Public Member Functions | |
RLIO (Region &r) | |
Initialize. | |
Public Attributes | |
unsigned int | use_cnt |
Counter used for reference counting. |
Shared object for allocation.
Gecode::Iter::Ranges::RangeListIter::RLIO::RLIO | ( | Region & | r | ) | [inline] |
Initialize.
Definition at line 127 of file ranges-list.hpp.
unsigned int Gecode::Iter::Ranges::RangeListIter::RLIO::use_cnt |
Counter used for reference counting.
Definition at line 59 of file ranges-list.hpp.