Advisors for views (by position in array) More...

#include <rel.hh>

Public Member Functions
	Index (Space &home, Propagator &p, Council< Index > &c, int i)
	Create index advisor. More...

	Index (Space &home, bool share, Index &a)
	Clone index advisor a. More...

Public Member Functions inherited from Gecode::Advisor
template<class A >
	Advisor (Space &home, Propagator &p, Council< A > &c)
	Constructor for creation. More...

	Advisor (Space &home, bool share, Advisor &a)
	Copying constructor. More...

const ViewTraceInfo &	operator() (const Space &home) const
	Provide access to view trace information. More...

template<class A >
void	dispose (Space &home, Council< A > &c)
	Dispose the advisor. More...

Public Attributes
int	i
	The position of the view in the view array. More...

Additional Inherited Members
Static Public Member Functions inherited from Gecode::Advisor
static void *	operator new (size_t s, Space &home)
	Allocate memory from space. More...

static void	operator delete (void *p, Space &home)
	No-op for exceptions. More...

Protected Member Functions inherited from Gecode::Advisor
Propagator &	propagator (void) const
	Return the advisor's propagator. More...

Detailed Description

Advisors for views (by position in array)

Definition at line 238 of file rel.hh.

Constructor & Destructor Documentation

template<class View , int o>

Gecode::Int::Rel::NaryLqLe< View, o >::Index::Index	(	Space &	home,
		Propagator &	p,
		Council< Index > &	c,
		int	i
	)

inline

Create index advisor.

Definition at line 177 of file lq-le.hpp.

template<class View , int o>

Gecode::Int::Rel::NaryLqLe< View, o >::Index::Index	(	Space &	home,
		bool	share,
		Index &	a
	)

inline

Clone index advisor a.

Definition at line 183 of file lq-le.hpp.

template<class View, int o>

The position of the view in the view array.

Definition at line 241 of file rel.hh.

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