Gecode::Int::Extensional::SparseTupleState< Derived, View > Class Template Reference

Generated on for Gecode by doxygen 1.15.0

Active tuple state shared by sparse table actors. More...

Protected Member Functions
Derived &	derived (void)
const unsigned int *	tuple_gids (unsigned int tid) const
unsigned int	tuple_gid (unsigned int tid, int variable) const
bool	remove_tuple (unsigned int tid)
void	deactivate_value_support (int variable, int value)
void	deactivate_for_domain (int variable, const View &view)
void	deactivate_removed_values (int variable, const View &view, const Delta &delta)
void	deactivate_for_all_domains (const ViewArray< View > &x)
	SparseTupleState (Home home, ViewArray< View > &x, const TupleSet &ts0)
	SparseTupleState (Space &home, const SparseTupleState &state)

Protected Attributes
TupleSet	ts
int	arity
unsigned int	n_tuples
unsigned int	n_vals
unsigned int *	active_ids
unsigned int *	pos_in_active
unsigned int	active_limit
int *	gid_val
const unsigned int *	tv

Detailed Description

template<class Derived, class View>
class Gecode::Int::Extensional::SparseTupleState< Derived, View >

Active tuple state shared by sparse table actors.

The derived actor supplies deactivate_tuple(), which adds any actor-specific bookkeeping to removal from the active tuple set.

Definition at line 151 of file extensional-tuple-set.cpp.

Constructor & Destructor Documentation

◆ SparseTupleState() [1/2]

template<class Derived, class View>

Gecode::Int::Extensional::SparseTupleState< Derived, View >::SparseTupleState	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts0 )

inlineprotected

Definition at line 268 of file extensional-tuple-set.cpp.

◆ SparseTupleState() [2/2]

template<class Derived, class View>

Gecode::Int::Extensional::SparseTupleState< Derived, View >::SparseTupleState	(	Space &	home,
		const SparseTupleState< Derived, View > &	state )

inlineprotected

Definition at line 302 of file extensional-tuple-set.cpp.

Member Function Documentation

◆ derived()

template<class Derived, class View>

Derived & Gecode::Int::Extensional::SparseTupleState< Derived, View >::derived ( void )

inlineprotected

Definition at line 164 of file extensional-tuple-set.cpp.

◆ tuple_gids()

template<class Derived, class View>

const unsigned int * Gecode::Int::Extensional::SparseTupleState< Derived, View >::tuple_gids ( unsigned int tid ) const

inlineprotected

Definition at line 169 of file extensional-tuple-set.cpp.

◆ tuple_gid()

template<class Derived, class View>

unsigned int Gecode::Int::Extensional::SparseTupleState< Derived, View >::tuple_gid	(	unsigned int	tid,
		int	variable ) const

inlineprotected

Definition at line 177 of file extensional-tuple-set.cpp.

◆ remove_tuple()

template<class Derived, class View>

bool Gecode::Int::Extensional::SparseTupleState< Derived, View >::remove_tuple ( unsigned int tid )

inlineprotected

Definition at line 184 of file extensional-tuple-set.cpp.

◆ deactivate_value_support()

template<class Derived, class View>

void Gecode::Int::Extensional::SparseTupleState< Derived, View >::deactivate_value_support	(	int	variable,
		int	value )

inlineprotected

Definition at line 201 of file extensional-tuple-set.cpp.

◆ deactivate_for_domain()

template<class Derived, class View>

void Gecode::Int::Extensional::SparseTupleState< Derived, View >::deactivate_for_domain	(	int	variable,
		const View &	view )

inlineprotected

Definition at line 212 of file extensional-tuple-set.cpp.

◆ deactivate_removed_values()

template<class Derived, class View>

void Gecode::Int::Extensional::SparseTupleState< Derived, View >::deactivate_removed_values	(	int	variable,
		const View &	view,
		const Delta &	delta )

inlineprotected

Definition at line 225 of file extensional-tuple-set.cpp.

◆ deactivate_for_all_domains()

template<class Derived, class View>

void Gecode::Int::Extensional::SparseTupleState< Derived, View >::deactivate_for_all_domains ( const ViewArray< View > & x )

inlineprotected

Definition at line 250 of file extensional-tuple-set.cpp.

Member Data Documentation

◆ ts

template<class Derived, class View>

TupleSet Gecode::Int::Extensional::SparseTupleState< Derived, View >::ts

protected

Definition at line 153 of file extensional-tuple-set.cpp.

◆ arity

template<class Derived, class View>

int Gecode::Int::Extensional::SparseTupleState< Derived, View >::arity

protected

Definition at line 154 of file extensional-tuple-set.cpp.

◆ n_tuples

template<class Derived, class View>

unsigned int Gecode::Int::Extensional::SparseTupleState< Derived, View >::n_tuples

protected

Definition at line 155 of file extensional-tuple-set.cpp.

◆ n_vals

template<class Derived, class View>

unsigned int Gecode::Int::Extensional::SparseTupleState< Derived, View >::n_vals

protected

Definition at line 156 of file extensional-tuple-set.cpp.

◆ active_ids

template<class Derived, class View>

unsigned int* Gecode::Int::Extensional::SparseTupleState< Derived, View >::active_ids

protected

Definition at line 157 of file extensional-tuple-set.cpp.

◆ pos_in_active

template<class Derived, class View>

unsigned int* Gecode::Int::Extensional::SparseTupleState< Derived, View >::pos_in_active

protected

Definition at line 158 of file extensional-tuple-set.cpp.

◆ active_limit

template<class Derived, class View>

unsigned int Gecode::Int::Extensional::SparseTupleState< Derived, View >::active_limit

protected

Definition at line 159 of file extensional-tuple-set.cpp.

◆ gid_val

template<class Derived, class View>

int* Gecode::Int::Extensional::SparseTupleState< Derived, View >::gid_val

protected

Definition at line 160 of file extensional-tuple-set.cpp.

◆ tv

template<class Derived, class View>

const unsigned int* Gecode::Int::Extensional::SparseTupleState< Derived, View >::tv

protected

Definition at line 161 of file extensional-tuple-set.cpp.

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

gecode/int/extensional-tuple-set.cpp