Gecode::TupleSet::Data Class Reference
Data stored for a Table. More...
#include <int.hh>
Public Member Functions | |
Tuple | add (void) |
Return newly added tuple. | |
Tuple | get (int i) const |
Return tuple with number i. | |
unsigned int | tuple2idx (Tuple t) const |
Map tuple address to index. | |
const Range * | fst (int i) const |
Return first range for position i. | |
const Range * | lst (int i) const |
Return last range for position i. | |
void | finalize (void) |
Finalize datastructure (disallows additions of more Tuples). | |
void | resize (void) |
Resize tuple data. | |
bool | finalized (void) const |
Is datastructure finalized. | |
Data (int a) | |
Initialize as empty tuple set with arity a. | |
virtual | ~Data (void) |
Delete implementation. | |
Static Public Member Functions | |
static void | set (BitSetData *d, unsigned int n) |
Set bit n in bitset data d. | |
static bool | get (const BitSetData *d, unsigned int n) |
Get bit n in bitset data d. | |
Public Attributes | |
int | arity |
Arity. | |
unsigned int | n_words |
Number of words for support. | |
int | n_tuples |
Number of Tuples. | |
int | n_free |
Number of free tuple entries of arity. | |
int | min |
Smallest value. | |
int | max |
Largest value. | |
std::size_t | key |
Hash key. | |
int * | td |
Tuple data. | |
ValueData * | vd |
Value data. | |
Range * | range |
Pointer to all ranges. | |
BitSetData * | support |
Pointer to all support data. | |
Static Protected Attributes | |
static const int | n_initial_free = 1024 |
Initial number of free tuples. |
Detailed Description
Data stored for a Table.
Definition at line 2229 of file int.hh.
Constructor & Destructor Documentation
Gecode::TupleSet::Data::Data | ( | int | a | ) | [inline] |
Initialize as empty tuple set with arity a.
Definition at line 61 of file tuple-set.hpp.
Gecode::TupleSet::Data::~Data | ( | void | ) | [virtual] |
Delete implementation.
Definition at line 254 of file tuple-set.cpp.
Member Function Documentation
TupleSet::Tuple Gecode::TupleSet::Data::add | ( | void | ) | [inline] |
Return newly added tuple.
Definition at line 76 of file tuple-set.hpp.
TupleSet::Tuple Gecode::TupleSet::Data::get | ( | int | i | ) | const [inline] |
Return tuple with number i.
Definition at line 87 of file tuple-set.hpp.
void Gecode::TupleSet::Data::set | ( | BitSetData * | d, | |
unsigned int | n | |||
) | [inline, static] |
Set bit n in bitset data d.
Definition at line 113 of file tuple-set.hpp.
bool Gecode::TupleSet::Data::get | ( | const BitSetData * | d, | |
unsigned int | n | |||
) | [inline, static] |
Get bit n in bitset data d.
Definition at line 118 of file tuple-set.hpp.
unsigned int Gecode::TupleSet::Data::tuple2idx | ( | Tuple | t | ) | const [inline] |
Map tuple address to index.
Definition at line 123 of file tuple-set.hpp.
const TupleSet::Range * Gecode::TupleSet::Data::fst | ( | int | i | ) | const [inline] |
Return first range for position i.
Definition at line 128 of file tuple-set.hpp.
const TupleSet::Range * Gecode::TupleSet::Data::lst | ( | int | i | ) | const [inline] |
Return last range for position i.
Definition at line 132 of file tuple-set.hpp.
void Gecode::TupleSet::Data::finalize | ( | void | ) |
Finalize datastructure (disallows additions of more Tuples).
Definition at line 103 of file tuple-set.cpp.
void Gecode::TupleSet::Data::resize | ( | void | ) |
Resize tuple data.
Definition at line 247 of file tuple-set.cpp.
bool Gecode::TupleSet::Data::finalized | ( | void | ) | const [inline] |
Is datastructure finalized.
Definition at line 71 of file tuple-set.hpp.
Member Data Documentation
const int Gecode::TupleSet::Data::n_initial_free = 1024 [static, protected] |
unsigned int Gecode::TupleSet::Data::n_words |
std::size_t Gecode::TupleSet::Data::key |
The documentation for this class was generated from the following files:
- gecode/int.hh
- gecode/int/extensional/tuple-set.cpp
- gecode/int/extensional/tuple-set.hpp