Gecode::TupleSet Class Reference
[Extensional constraints]

#include <int.hh>

Detailed Description

Data stored for a Table.

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 44 of file tuple-set.icc.


Public Types
typedef int *	Tuple
	Type of a tuple.
Public Member Functions
template<class T>
void	add (T t)
	Add Tuple. Assumes that arity matches.
void	finalize (void)
	Finalize datastructure (disallows additions of more Tuples).
void	resize (void)
	Resize data cache.
bool	finalized (void) const
	Is datastructure finalized.
	TupleSetI (void)
	Initialize as empty tuple set.
virtual	~TupleSetI (void)
	Delete implementation.
virtual SharedHandle::Object *	copy (void) const
	Create a copy.
TupleSetI *	implementation (void)
	Get implementation.
	TupleSet (void)
	Construct empty tuple.
	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 size.
int	max (void) const
	Maximum domain size.
	TupleSet (Reflection::VarMap &vm, Reflection::Arg *arg)
	Initialize TupleSet from reflection specification.
Reflection::Arg *	spec (Reflection::VarMap &vm) const
	Create reflection specification for the TupleSet.
Public Attributes
int	arity
	Arity.
int	size
	Number of Tuples.
Tuple **	tuples
	Tuples index.
Tuple *	tuple_data
	Tuple index data.
int *	data
	Tuples data.
int	excess
	Excess storage.
int	min
	Minimum and maximum in domain-values.
int	max
int	domsize
	Domain size.
Tuple **	last
	Initial last structure.
Tuple *	nullptr
	Pointer to NULL-pointer.
Related Functions
(Note that these are not member functions.)
std::ostream &	operator<< (std::ostream &, const Gecode::TupleSet &ts)

Member Typedef Documentation

typedef int* Gecode::TupleSet::Tuple

Type of a tuple.

The arity of the tuple is left implicit.

Definition at line 1616 of file int.hh.

Constructor & Destructor Documentation

virtual Gecode::TupleSet::~TupleSetI ( void ) [virtual]

Delete implementation.

Gecode::TupleSet::TupleSet ( void ) [inline]

Construct empty tuple.

Definition at line 126 of file tuple-set.icc.

Gecode::TupleSet::TupleSet ( const TupleSet & d ) [inline]

Initialize by TupleSet d (tuple set is shared).

Definition at line 130 of file tuple-set.icc.

Gecode::TupleSet::TupleSet	(	Reflection::VarMap &	vm,
		Reflection::Arg *	arg
	)

Initialize TupleSet from reflection specification.

Definition at line 233 of file tuple-set.cc.

Member Function Documentation

template<class T>

void Gecode::TupleSet::add ( T t ) [inline]

Add Tuple. Assumes that arity matches.

void Gecode::TupleSet::finalize ( void ) [inline]

Finalize datastructure (disallows additions of more Tuples).

Definition at line 154 of file tuple-set.icc.

void Gecode::TupleSet::resize ( void )

Resize data cache.

bool Gecode::TupleSet::finalized ( void ) const [inline]

Is datastructure finalized.

Definition at line 163 of file tuple-set.icc.

Gecode::TupleSet::TupleSetI ( void )

Initialize as empty tuple set.

virtual SharedHandle::Object* Gecode::TupleSet::copy ( void ) const [virtual]

Create a copy.

TupleSet::TupleSetI * Gecode::TupleSet::implementation ( void ) [inline]

Get implementation.

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

void Gecode::TupleSet::add ( const IntArgs & tuple ) [inline]

Add tuple to tuple set.

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

void Gecode::TupleSet::finalize ( void )

Finalize tuple set.

bool Gecode::TupleSet::finalized ( void ) const

Is tuple set finalized.

int Gecode::TupleSet::arity ( void ) const

Arity of tuple set.

int Gecode::TupleSet::tuples ( void ) const

Number of tuples.

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

Get tuple i.

Definition at line 184 of file tuple-set.icc.

int Gecode::TupleSet::min ( void ) const

Minimum domain size.

int Gecode::TupleSet::max ( void ) const

Maximum domain size.

Reflection::Arg * Gecode::TupleSet::spec ( Reflection::VarMap & vm ) const

Create reflection specification for the TupleSet.

Definition at line 262 of file tuple-set.cc.

Friends And Related Function Documentation

std::ostream & operator<<	(	std::ostream &	,
		const Gecode::TupleSet &	ts
	)			`[related]`

Print TupleSet ts

Definition at line 90 of file tuple-set.cc.

Member Data Documentation

int Gecode::TupleSet::arity [inline]

Arity.

Definition at line 48 of file tuple-set.icc.

int Gecode::TupleSet::size

Number of Tuples.

Definition at line 50 of file tuple-set.icc.

int Gecode::TupleSet::tuples [inline]

Tuples index.

Definition at line 52 of file tuple-set.icc.

Tuple* Gecode::TupleSet::tuple_data

Tuple index data.

Definition at line 54 of file tuple-set.icc.

int* Gecode::TupleSet::data

Tuples data.

Definition at line 56 of file tuple-set.icc.

int Gecode::TupleSet::excess

Excess storage.

Definition at line 58 of file tuple-set.icc.

int Gecode::TupleSet::min [inline]

Minimum and maximum in domain-values.

Definition at line 60 of file tuple-set.icc.

int Gecode::TupleSet::max [inline]

Definition at line 60 of file tuple-set.icc.

int Gecode::TupleSet::domsize

Domain size.

Definition at line 62 of file tuple-set.icc.

Tuple** Gecode::TupleSet::last

Initial last structure.

Definition at line 64 of file tuple-set.icc.

Tuple* Gecode::TupleSet::nullptr

Pointer to NULL-pointer.

Definition at line 66 of file tuple-set.icc.

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

gecode/int/extensional/tuple-set.icc (Revision: 6102)
gecode/int.hh (Revision: 7494)
gecode/int/extensional/tuple-set.cc (Revision: 7288)

Gecode::TupleSet Class Reference [Extensional constraints]

Detailed Description

Public Types

Public Member Functions