Gecode::Int::Extensional::SparseAdvisor< View > Class Template Reference

Advisor shared by the sparse positive, negative, and reified actors. More...

Public Member Functions
	SparseAdvisor (Space &home, Propagator &p, Council< SparseAdvisor > &c, View x, int variable0)
	SparseAdvisor (Space &home, SparseAdvisor &advisor)
int	index (void) const
void	dispose (Space &home, Council< SparseAdvisor > &c)
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 Attributes
int	variable
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>
class Gecode::Int::Extensional::SparseAdvisor< View >

Advisor shared by the sparse positive, negative, and reified actors.

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

Constructor & Destructor Documentation

SparseAdvisor() [1/2]

template<class View>

Gecode::Int::Extensional::SparseAdvisor< View >::SparseAdvisor ( Space & home, Propagator & p, Council< SparseAdvisor< View > > & c, View x, int variable0 )

inline

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

SparseAdvisor() [2/2]

template<class View>

Gecode::Int::Extensional::SparseAdvisor< View >::SparseAdvisor ( Space & home, SparseAdvisor< View > & advisor )

inline

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

Member Function Documentation

index()

template<class View>

int Gecode::Int::Extensional::SparseAdvisor< View >::index ( void ) const

inline

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

dispose()

template<class View>

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

inline

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

Member Data Documentation

variable

template<class View>

int Gecode::Int::Extensional::SparseAdvisor< View >::variable

protected

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

---

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

• gecode/int/extensional-tuple-set.cpp