Gecode::ViewAdvisor< View > Class Template Reference

Inherited by Gecode::Int::Extensional::Incremental< View >::SupportAdvisor.

Detailed Description

Advisor storing a single view.

Definition at line 47 of file advisor.icc.


Public Member Functions
template<class A>
	ViewAdvisor (Space home, Propagator p, Council< A > &c, View x0)
	Constructor for creation.
	ViewAdvisor (Space *home, bool share, 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.
Protected Attributes
View	x
	The single view.

template<class View>

template<class A>

Gecode::ViewAdvisor< View >::ViewAdvisor	(	Space *	home,
		Propagator *	p,
		Council< A > &	c,
		View	x0
	)			`[inline]`

Constructor for creation.

Definition at line 70 of file advisor.icc.

template<class View>

Gecode::ViewAdvisor< View >::ViewAdvisor	(	Space *	home,
		bool	share,
		ViewAdvisor< View > &	a
	)			`[inline]`

Constructor for cloning a.

Definition at line 77 of file advisor.icc.

template<class View>

View Gecode::ViewAdvisor< View >::view ( void ) const [inline]

Access view.

Definition at line 84 of file advisor.icc.

template<class View>

void Gecode::ViewAdvisor< View >::view	(	Space *	home,
		View	y
	)			`[inline]`

Replace view (also replaces subscription to view).

Definition at line 89 of file advisor.icc.

template<class View>

template<class A>

void Gecode::ViewAdvisor< View >::dispose	(	Space *	home,
		Council< A > &	c
	)			`[inline]`

Delete advisor.

Reimplemented from Gecode::Advisor.

Definition at line 97 of file advisor.icc.

template<class View>

View Gecode::ViewAdvisor< View >::x [protected]

The single view.

Definition at line 50 of file advisor.icc.

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