Generated on Sat Jun 2 2018 07:17:44 for Gecode by doxygen 1.8.13
Gecode::Int::Extensional::Compact< View >::CTAdvisor Class Reference

Advisor for updating current table. More...

#include <extensional.hh>

Public Member Functions

void adjust (void)
 Adjust supports. More...
 
const Rangefst (void) const
 Return first range of support data structure. More...
 
const Rangelst (void) const
 Return lasst range of support data structure. More...
 
void dispose (Space &home, Council< CTAdvisor > &c)
 Dispose advisor. More...
 
- Public Member Functions inherited from Gecode::ViewAdvisor< View >
template<class A >
 ViewAdvisor (Space &home, Propagator &p, Council< A > &c, View x0)
 Constructor for creation. More...
 
 ViewAdvisor (Space &home, ViewAdvisor< View > &a)
 Constructor for cloning a. More...
 
View view (void) const
 Access view. More...
 
void view (Space &home, View y)
 Replace view (also replaces subscription to view) More...
 
template<class A >
void dispose (Space &home, Council< A > &c)
 Delete advisor. 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, Advisor &a)
 Copying constructor. More...
 
const ViewTraceInfooperator() (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...
 

Protected Attributes

const Range_fst
 First range of support data structure. More...
 
const Range_lst
 Last range of support data structure. More...
 
- Protected Attributes inherited from Gecode::ViewAdvisor< View >
View x
 The single view. More...
 

Constructors

 CTAdvisor (Space &home, Propagator &p, Council< CTAdvisor > &c, const TupleSet &ts, View x0, int i)
 Initialise from parameters. More...
 
 CTAdvisor (Space &home, CTAdvisor &a)
 Clone advisor a. 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
Propagatorpropagator (void) const
 Return the advisor's propagator. More...
 

Detailed Description

template<class View>
class Gecode::Int::Extensional::Compact< View >::CTAdvisor

Advisor for updating current table.

Definition at line 352 of file extensional.hh.

Constructor & Destructor Documentation

◆ CTAdvisor() [1/2]

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

Initialise from parameters.

Definition at line 69 of file compact.hpp.

◆ CTAdvisor() [2/2]

template<class View >
Gecode::Int::Extensional::Compact< View >::CTAdvisor::CTAdvisor ( Space home,
CTAdvisor a 
)
inline

Clone advisor a.

Definition at line 77 of file compact.hpp.

Member Function Documentation

◆ adjust()

template<class View >
void Gecode::Int::Extensional::Compact< View >::CTAdvisor::adjust ( void  )
inline

Adjust supports.

Definition at line 49 of file compact.hpp.

◆ fst()

template<class View >
const Compact< View >::Range * Gecode::Int::Extensional::Compact< View >::CTAdvisor::fst ( void  ) const
inline

Return first range of support data structure.

Definition at line 82 of file compact.hpp.

◆ lst()

template<class View >
const Compact< View >::Range * Gecode::Int::Extensional::Compact< View >::CTAdvisor::lst ( void  ) const
inline

Return lasst range of support data structure.

Definition at line 88 of file compact.hpp.

◆ dispose()

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

Dispose advisor.

Definition at line 94 of file compact.hpp.

Member Data Documentation

◆ _fst

template<class View>
const Range* Gecode::Int::Extensional::Compact< View >::CTAdvisor::_fst
protected

First range of support data structure.

Definition at line 357 of file extensional.hh.

◆ _lst

template<class View>
const Range* Gecode::Int::Extensional::Compact< View >::CTAdvisor::_lst
protected

Last range of support data structure.

Definition at line 359 of file extensional.hh.


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