
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... | |
Public Member Functions inherited from Gecode::SharedHandle | |
| 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 | |
Protected Member Functions inherited from Gecode::SharedHandle | |
| 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.