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