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. More... | |
Public Member Functions | |
TupleSetI * | implementation (void) |
Get implementation. More... | |
TupleSet (void) | |
Construct empty tuple set. More... | |
TupleSet (const TupleSet &d) | |
Initialize by TupleSet d (tuple set is shared) More... | |
void | add (const IntArgs &tuple) |
Add tuple to tuple set. More... | |
void | finalize (void) |
Finalize tuple set. More... | |
bool | finalized (void) const |
Is tuple set finalized. More... | |
int | arity (void) const |
Arity of tuple set. More... | |
int | tuples (void) const |
Number of tuples. More... | |
Tuple | operator[] (int i) const |
Get tuple i. More... | |
int | min (void) const |
Minimum domain element. More... | |
int | max (void) const |
Maximum domain element. More... | |
![]() | |
SharedHandle (void) | |
Create shared handle with no object pointing to. More... | |
SharedHandle (SharedHandle::Object *so) | |
Create shared handle that points to shared object so. More... | |
SharedHandle (const SharedHandle &sh) | |
Copy constructor maintaining reference count. More... | |
SharedHandle & | operator= (const SharedHandle &sh) |
Assignment operator maintaining reference count. More... | |
void | update (Space &home, bool share, SharedHandle &sh) |
Updating during cloning. More... | |
~SharedHandle (void) | |
Destructor that maintains reference count. More... | |
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) |
Additional Inherited Members | |
![]() | |
SharedHandle::Object * | object (void) const |
Access to the shared object. More... | |
void | object (SharedHandle::Object *n) |
Modify shared object. More... | |
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.
typedef int* Gecode::TupleSet::Tuple |
|
inline |
Construct empty tuple set.
Definition at line 83 of file tuple-set.hpp.
|
inline |
Initialize by TupleSet d (tuple set is shared)
Definition at line 87 of file tuple-set.hpp.
|
inline |
Get implementation.
Definition at line 91 of file tuple-set.hpp.
|
inline |
Add tuple to tuple set.
Definition at line 98 of file tuple-set.hpp.
|
inline |
Finalize tuple set.
Definition at line 111 of file tuple-set.hpp.
|
inline |
Is tuple set finalized.
Definition at line 127 of file tuple-set.hpp.
|
inline |
Arity of tuple set.
Definition at line 134 of file tuple-set.hpp.
|
inline |
Number of tuples.
Definition at line 141 of file tuple-set.hpp.
|
inline |
Get tuple i.
Definition at line 148 of file tuple-set.hpp.
|
inline |
Minimum domain element.
Definition at line 155 of file tuple-set.hpp.
|
inline |
Maximum domain element.
Definition at line 162 of file tuple-set.hpp.
|
related |
Print TupleSet ts
Definition at line 172 of file tuple-set.hpp.