Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed > Class Template Reference

Advisor shared by compact-table support representations. More...

#include <gecode/int/extensional.hh>

Public Member Functions
	CompactAdvisor (Space &home, Propagator &p, Council< CompactAdvisor > &c, const TupleSet &ts, View x, int i)
	Initialize from parameters.
	CompactAdvisor (Space &home, CompactAdvisor &a)
	Clone advisor a.
void	adjust (void)
	Adjust supports to the current view bounds.
int	index (void) const
	Return the variable index.
const Range *	fst (void) const
	Return first range of support data structure.
const Range *	lst (void) const
	Return last range of support data structure.
void	dispose (Space &home, Council< CompactAdvisor > &c)
	Dispose advisor.
Public Member Functions inherited from Gecode::ViewAdvisor< View >
template<class A>
	ViewAdvisor (Space &home, Propagator &p, Council< A > &c, View x0)
	Constructor for creation.
	ViewAdvisor (Space &home, ViewAdvisor< View > &a)
	Constructor for cloning a.
View	view (void) const
	Access view.
void	view (Space &home, View y)
	Replace view (also replaces subscription to view).
template<class A>
void	dispose (Space &home, Council< A > &c)
	Delete advisor.
Public Member Functions inherited from Gecode::Advisor
template<class A>
	Advisor (Space &home, Propagator &p, Council< A > &c)
	Constructor for creation.
	Advisor (Space &home, Advisor &a)
	Copying constructor.
const ViewTraceInfo &	operator() (const Space &home) const
	Provide access to view trace information.
template<class A>
void	dispose (Space &home, Council< A > &c)
	Dispose the advisor.

Protected Types
typedef TupleSet::Range	Range
	Range type for supports.

Protected Attributes
const Range *	_fst
	First range of support data structure.
const Range *	_lst
	Last range of support data structure.
Protected Attributes inherited from Gecode::ViewAdvisor< View >
View	x
	The single view.

Additional Inherited Members
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.
Protected Member Functions inherited from Gecode::Advisor
Propagator &	propagator (void) const
	Return the advisor's propagator.

Detailed Description

template<class View, bool pos, bool indexed>
class Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >

Advisor shared by compact-table support representations.

Definition at line 439 of file extensional.hh.

Member Typedef Documentation

Range

template<class View, bool pos, bool indexed>

typedef TupleSet::Range Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::Range

protected

Range type for supports.

Definition at line 443 of file extensional.hh.

Constructor & Destructor Documentation

CompactAdvisor() [1/2]

template<class View, bool pos, bool indexed>

Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::CompactAdvisor ( Space & home, Propagator & p, Council< CompactAdvisor< View, pos, indexed > > & c, const TupleSet & ts, View x, int i )

inline

Initialize from parameters.

Definition at line 100 of file compact.hpp.

CompactAdvisor() [2/2]

template<class View, bool pos, bool indexed>

Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::CompactAdvisor ( Space & home, CompactAdvisor< View, pos, indexed > & a )

inline

Clone advisor a.

Definition at line 110 of file compact.hpp.

Member Function Documentation

adjust()

template<class View, bool pos, bool indexed>

void Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::adjust ( void )

inline

Adjust supports to the current view bounds.

Definition at line 64 of file compact.hpp.

index()

template<class View, bool pos, bool indexed>

int Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::index ( void ) const

inline

Return the variable index.

Definition at line 117 of file compact.hpp.

fst()

template<class View, bool pos, bool indexed>

const CompactAdvisor< View, pos, indexed >::Range * Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::fst ( void ) const

inline

Return first range of support data structure.

Definition at line 123 of file compact.hpp.

lst()

template<class View, bool pos, bool indexed>

const CompactAdvisor< View, pos, indexed >::Range * Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::lst ( void ) const

inline

Return last range of support data structure.

Definition at line 129 of file compact.hpp.

dispose()

template<class View, bool pos, bool indexed>

void Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::dispose ( Space & home, Council< CompactAdvisor< View, pos, indexed > > & c )

inline

Dispose advisor.

Definition at line 135 of file compact.hpp.

Member Data Documentation

_fst

template<class View, bool pos, bool indexed>

const Range* Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::_fst

protected

First range of support data structure.

Definition at line 445 of file extensional.hh.

_lst

template<class View, bool pos, bool indexed>

const Range* Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >::_lst

protected

Last range of support data structure.

Definition at line 447 of file extensional.hh.

---

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

• gecode/int/extensional.hh
• gecode/int/extensional/compact.hpp