Gecode::TupleSet Class Reference
[Extensional constraints]
Class represeting a set of tuples. More...
#include <int.hh>
Classes | |
class | TupleSetI |
Data stored for a Table. More... | |
Public Types | |
typedef int * | Tuple |
Type of a tuple. | |
Public Member Functions | |
TupleSetI * | implementation (void) |
Get implementation. | |
TupleSet (void) | |
Construct empty tuple set. | |
TupleSet (const TupleSet &d) | |
Initialize by TupleSet d (tuple set is shared). | |
void | add (const IntArgs &tuple) |
Add tuple to tuple set. | |
void | finalize (void) |
Finalize tuple set. | |
bool | finalized (void) const |
Is tuple set finalized. | |
int | arity (void) const |
Arity of tuple set. | |
int | tuples (void) const |
Number of tuples. | |
Tuple | operator[] (int i) const |
Get tuple i. | |
int | min (void) const |
Minimum domain element. | |
int | max (void) const |
Maximum domain element. | |
Related Functions | |
(Note that these are not member functions.) | |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TupleSet &ts) |
Detailed Description
Class represeting a set of tuples.
A TupleSet is used for storing an extensional representation of a constraint. After a TupleSet is finalized, no more tuples may be added to it.
Definition at line 2161 of file int.hh.
Member Typedef Documentation
typedef int* Gecode::TupleSet::Tuple |
Constructor & Destructor Documentation
Gecode::TupleSet::TupleSet | ( | void | ) | [inline] |
Construct empty tuple set.
Definition at line 83 of file tuple-set.hpp.
Gecode::TupleSet::TupleSet | ( | const TupleSet & | d | ) | [inline] |
Initialize by TupleSet d (tuple set is shared).
Definition at line 87 of file tuple-set.hpp.
Member Function Documentation
TupleSet::TupleSetI * Gecode::TupleSet::implementation | ( | void | ) | [inline] |
Get implementation.
Definition at line 91 of file tuple-set.hpp.
void Gecode::TupleSet::add | ( | const IntArgs & | tuple | ) | [inline] |
Add tuple to tuple set.
Definition at line 98 of file tuple-set.hpp.
void Gecode::TupleSet::finalize | ( | void | ) | [inline] |
Finalize tuple set.
Definition at line 111 of file tuple-set.hpp.
bool Gecode::TupleSet::finalized | ( | void | ) | const [inline] |
Is tuple set finalized.
Definition at line 127 of file tuple-set.hpp.
int Gecode::TupleSet::arity | ( | void | ) | const [inline] |
Arity of tuple set.
Definition at line 134 of file tuple-set.hpp.
int Gecode::TupleSet::tuples | ( | void | ) | const [inline] |
Number of tuples.
Definition at line 141 of file tuple-set.hpp.
TupleSet::Tuple Gecode::TupleSet::operator[] | ( | int | i | ) | const [inline] |
Get tuple i.
Definition at line 148 of file tuple-set.hpp.
int Gecode::TupleSet::min | ( | void | ) | const [inline] |
Minimum domain element.
Definition at line 155 of file tuple-set.hpp.
int Gecode::TupleSet::max | ( | void | ) | const [inline] |
Maximum domain element.
Definition at line 162 of file tuple-set.hpp.
Friends And Related Function Documentation
std::basic_ostream< Char, Traits > & operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const TupleSet & | ts | |||
) | [related] |
Print TupleSet ts
Definition at line 172 of file tuple-set.hpp.
The documentation for this class was generated from the following files:
- gecode/int.hh (Revision: 15623)
- gecode/int/extensional/tuple-set.hpp (Revision: 12728)