Generated on Thu Mar 22 10:39:52 2012 for Gecode by doxygen 1.6.3

Gecode::TupleSet Class Reference
[Extensional constraints]

Class represeting a set of tuples. More...

#include <int.hh>

List of all members.

Classes

class  TupleSetI
 Data stored for a Table. More...

Public Types

typedef int * Tuple
 Type of a tuple.

Public Member Functions

TupleSetIimplementation (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 1885 of file int.hh.


Member Typedef Documentation

Type of a tuple.

The arity of the tuple is left implicit.

Definition at line 1891 of file int.hh.


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 120 of file tuple-set.hpp.

int Gecode::TupleSet::arity ( void   )  const [inline]

Arity of tuple set.

Definition at line 127 of file tuple-set.hpp.

int Gecode::TupleSet::tuples ( void   )  const [inline]

Number of tuples.

Definition at line 134 of file tuple-set.hpp.

TupleSet::Tuple Gecode::TupleSet::operator[] ( int  i  )  const [inline]

Get tuple i.

Definition at line 141 of file tuple-set.hpp.

int Gecode::TupleSet::min ( void   )  const [inline]

Minimum domain element.

Definition at line 148 of file tuple-set.hpp.

int Gecode::TupleSet::max ( void   )  const [inline]

Maximum domain element.

Definition at line 155 of file tuple-set.hpp.


Friends And Related Function Documentation

template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< ( std::basic_ostream< Char, Traits > &  os,
const TupleSet ts 
) [related]

Print TupleSet ts

Definition at line 165 of file tuple-set.hpp.


The documentation for this class was generated from the following files: