Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor Class Reference

Advisor for updating current table. More...

#include <extensional.hh>

List of all members.

Public Member Functions
void	adjust (void)
	Adjust supports.
const Range *	fst (void) const
	Return first range of support data structure.
const Range *	lst (void) const
	Return lasst range of support data structure.
void	dispose (Space &home, Council< CTAdvisor > &c)
	Dispose advisor.
Protected Attributes
const Range *	_fst
	First range of support data structure.
const Range *	_lst
	Last range of support data structure.
Constructors
	CTAdvisor (Space &home, Propagator &p, Council< CTAdvisor > &c, const TupleSet &ts, View x0, int i)
	Initialise from parameters.
	CTAdvisor (Space &home, CTAdvisor &a)
	Clone advisor a.

---

Detailed Description

template<class View, bool pos>
class Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor

Advisor for updating current table.

Definition at line 367 of file extensional.hh.

---

Constructor & Destructor Documentation

template<class View, bool pos>

Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::CTAdvisor	(	Space &	home,
		Propagator &	p,
		Council< CTAdvisor > &	c,
		const TupleSet &	ts,
		View	x0,
		int	i
	)			[inline]

Initialise from parameters.

Definition at line 80 of file compact.hpp.

template<class View, bool pos>

Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::CTAdvisor	(	Space &	home,
		CTAdvisor &	a
	)			[inline]

Clone advisor a.

Definition at line 88 of file compact.hpp.

---

Member Function Documentation

template<class View , bool pos>

void Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::adjust

(

void

)

[inline]

Adjust supports.

Definition at line 47 of file compact.hpp.

template<class View , bool pos>

const Compact< View, pos >::Range * Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::fst

(

void

)

const [inline]

Return first range of support data structure.

Definition at line 93 of file compact.hpp.

template<class View , bool pos>

const Compact< View, pos >::Range * Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::lst

(

void

)

const [inline]

Return lasst range of support data structure.

Definition at line 99 of file compact.hpp.

template<class View , bool pos>

void Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::dispose	(	Space &	home,
		Council< CTAdvisor > &	c
	)			[inline]

Dispose advisor.

Definition at line 105 of file compact.hpp.

---

Member Data Documentation

template<class View, bool pos>

const Range* Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::_fst [protected]

First range of support data structure.

Definition at line 372 of file extensional.hh.

template<class View, bool pos>

const Range* Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor::_lst [protected]

Last range of support data structure.

Definition at line 374 of file extensional.hh.

---

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

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