Generated on Thu Mar 22 10:39:53 2012 for Gecode by doxygen 1.6.3

Gecode::Advisor Class Reference
[Programming actors]

Base-class for advisors. More...

#include <core.hpp>

List of all members.

Public Member Functions

template<class A >
 Advisor (Space &home, Propagator &p, Council< A > &c)
 Constructor for creation.
 Advisor (Space &home, bool share, Advisor &a)
 Copying constructor.

Protected Member Functions

Propagatorpropagator (void) const
 Return the advisor's propagator.

Memory management



template<class A >
void dispose (Space &home, Council< A > &c)
 Dispose the advisor.
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.

Detailed Description

Base-class for advisors.

Advisors are typically subclassed for each propagator that wants to use advisors. The actual member function that is executed when a variable is changed, must be implemented by the advisor's propagator.

Definition at line 918 of file core.hpp.


Constructor & Destructor Documentation

template<class A >
Gecode::Advisor::Advisor ( Space home,
Propagator p,
Council< A > &  c 
) [inline]

Constructor for creation.

Definition at line 2721 of file core.hpp.

Gecode::Advisor::Advisor ( Space home,
bool  share,
Advisor a 
) [inline]

Copying constructor.

Definition at line 2729 of file core.hpp.


Member Function Documentation

Propagator & Gecode::Advisor::propagator ( void   )  const [inline, protected]

Return the advisor's propagator.

Definition at line 2747 of file core.hpp.

template<class A >
void Gecode::Advisor::dispose ( Space home,
Council< A > &  c 
) [inline]

Dispose the advisor.

Reimplemented in Gecode::ViewAdvisor< View >, and Gecode::Set::Int::ChannelBool< View >::IndexAdvisor.

Definition at line 2754 of file core.hpp.

void * Gecode::Advisor::operator new ( size_t  s,
Space home 
) [inline, static]

Allocate memory from space.

Definition at line 2250 of file core.hpp.

void Gecode::Advisor::operator delete ( void *  p,
Space home 
) [inline, static]

No-op for exceptions.

Definition at line 2248 of file core.hpp.


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