
Class represeting a set of tuples. More...
#include <int.hh>
Classes | |
| class | Data |
| Data stored for a Table. More... | |
| class | Range |
| Range information. More... | |
| class | Ranges |
| Iterator over ranges. More... | |
| class | ValueData |
| Data about values in the table. More... | |
Public Types | |
| typedef int * | Tuple |
| Type of a tuple. | |
| typedef Gecode::Support::BitSetData | BitSetData |
| Import bit set data type. | |
Protected Member Functions | |
| Data & | data (void) const |
| Get data (must be initialized and finalized) | |
| Data & | raw (void) const |
| Get raw data (must be initialized) | |
| void | _add (const IntArgs &t) |
| Add tuple t to tuple set. | |
| bool | equal (const TupleSet &t) const |
| Test whether tuple set is equal to t. | |
Protected Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle::Object * | object (void) const |
| Access to the shared object. | |
| void | object (SharedHandle::Object *n) |
| Modify shared object. | |
Related Symbols | |
(Note that these are not member symbols.) | |
| template<class Char, class Traits> | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TupleSet &ts) |
Initialization | |
| TupleSet (void) | |
| Construct an unitialized tuple set. | |
| TupleSet (int a) | |
| Initialize for a tuple set with arity a. | |
| void | init (int a) |
| Initialize an uninitialized tuple set. | |
| TupleSet (const TupleSet &t) | |
| Initialize by TupleSet t (tuple set is shared) | |
| TupleSet & | operator= (const TupleSet &t) |
| Assignment operator. | |
| TupleSet (int a, const DFA &dfa) | |
| Initialize with DFA dfa for arity a. | |
| operator bool (void) const | |
| Test whether tuple set has been initialized. | |
| bool | operator== (const TupleSet &t) const |
| Test whether tuple set is equal to t. | |
| bool | operator!= (const TupleSet &t) const |
| Test whether tuple set is different from t. | |
Addition and finalization | |
| TupleSet & | add (const IntArgs &t) |
| Add tuple t to tuple set. | |
| bool | finalized (void) const |
| Is tuple set finalized. | |
| void | finalize (void) |
| Finalize tuple set. | |
Tuple access | |
| int | arity (void) const |
| Arity of tuple set. | |
| int | tuples (void) const |
| Number of tuples. | |
| unsigned int | words (void) const |
| Return number of required bit set words. | |
| Tuple | operator[] (int i) const |
| Get tuple i. | |
| int | min (void) const |
| Return minimal value in all tuples. | |
| int | max (void) const |
| Return maximal value in all tuples. | |
| std::size_t | hash (void) const |
| Return hash key. | |
Range access and iteration | |
| const Range * | fst (int i) const |
| Return first range for position i. | |
| const Range * | lst (int i) const |
| Return last range for position i. | |
Additional Inherited Members | |
Public Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle (void) | |
| Create shared handle with no object pointing to. | |
| SharedHandle (SharedHandle::Object *so) | |
| Create shared handle that points to shared object so. | |
| SharedHandle (const SharedHandle &sh) | |
| Copy constructor maintaining reference count. | |
| SharedHandle & | operator= (const SharedHandle &sh) |
| Assignment operator maintaining reference count. | |
| ~SharedHandle (void) | |
| Destructor that maintains reference count. | |
| operator bool (void) const | |
| Whether handle points to an object. | |
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 an unitialized tuple set.
Definition at line 147 of file tuple-set.hpp.
| Gecode::TupleSet::TupleSet | ( | int | a | ) |
Initialize for a tuple set with arity a.
Definition at line 266 of file tuple-set.cpp.
| Gecode::TupleSet::TupleSet | ( | const TupleSet & | t | ) |
Initialize by TupleSet t (tuple set is shared)
Definition at line 272 of file tuple-set.cpp.
| Gecode::TupleSet::TupleSet | ( | int | a, |
| const DFA & | dfa ) |
Initialize with DFA dfa for arity a.
Edges in layered graph
< Number of in-state
< Number of out-state
State in layered graph
< In-degree (number of incoming arcs)
< Out-degree (number of outgoing arcs)
< Number of tuples
< The tuples
Support for a value
< Supported value
< Number of supporting edges
< Supporting edges
Layer in layered graph
< States
< Supported values
< Number of supported values
Definition at line 280 of file tuple-set.cpp.
|
inlineprotected |
Get data (must be initialized and finalized)
Definition at line 167 of file tuple-set.hpp.
|
inlineprotected |
Get raw data (must be initialized)
Definition at line 172 of file tuple-set.hpp.
|
protected |
Add tuple t to tuple set.
Definition at line 460 of file tuple-set.cpp.
|
protected |
Test whether tuple set is equal to t.
Definition at line 447 of file tuple-set.cpp.
| void Gecode::TupleSet::init | ( | int | a | ) |
Initialize an uninitialized tuple set.
Definition at line 269 of file tuple-set.cpp.
Assignment operator.
Definition at line 275 of file tuple-set.cpp.
|
inline |
Test whether tuple set has been initialized.
Definition at line 150 of file tuple-set.hpp.
|
inline |
Test whether tuple set is equal to t.
Definition at line 214 of file tuple-set.hpp.
|
inline |
Test whether tuple set is different from t.
Definition at line 177 of file tuple-set.hpp.
Add tuple t to tuple set.
Definition at line 142 of file tuple-set.hpp.
|
inline |
Is tuple set finalized.
Definition at line 162 of file tuple-set.hpp.
|
inline |
Finalize tuple set.
Definition at line 155 of file tuple-set.hpp.
|
inline |
Arity of tuple set.
Definition at line 181 of file tuple-set.hpp.
|
inline |
Number of tuples.
Definition at line 185 of file tuple-set.hpp.
|
inline |
Return number of required bit set words.
Definition at line 189 of file tuple-set.hpp.
|
inline |
Get tuple i.
Definition at line 201 of file tuple-set.hpp.
|
inline |
Return minimal value in all tuples.
Definition at line 193 of file tuple-set.hpp.
|
inline |
Return maximal value in all tuples.
Definition at line 197 of file tuple-set.hpp.
|
inline |
Return hash key.
Definition at line 227 of file tuple-set.hpp.
|
inline |
Return first range for position i.
Definition at line 205 of file tuple-set.hpp.
|
inline |
Return last range for position i.
Definition at line 209 of file tuple-set.hpp.
|
Print TupleSet ts
Definition at line 227 of file tuple-set.hpp.