Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor Class Reference

Advisor for updating current table. More...

#include <extensional.hh>

Protected Attributes

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

Constructors

 CTAdvisor (Space &home, Propagator &p, Council< CTAdvisor > &c, const TupleSet &ts, View x0, int i)
 Initialise from parameters.
 
 CTAdvisor (Space &home, CTAdvisor &a)
 Clone advisor a.
 
void adjust (void)
 Adjust supports.
 
const Rangefst (void) const
 Return first range of support data structure.
 
const Rangelst (void) const
 Return lasst range of support data structure.
 
void dispose (Space &home, Council< CTAdvisor > &c)
 Dispose advisor.
 

Additional Inherited Members

- 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 ViewTraceInfooperator() (const Space &home) const
 Provide access to view trace information.
 
template<class A >
void dispose (Space &home, Council< A > &c)
 Dispose the advisor.
 
- Static Public Member Functions inherited from Gecode::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.
 
- Protected Member Functions inherited from Gecode::Advisor
Propagatorpropagator (void) const
 Return the advisor's propagator.
 

Detailed Description

template<class View, bool pos>
class Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor

Advisor for updating current table.

Definition at line 367 of file extensional.hh.

Constructor & Destructor Documentation

◆ CTAdvisor() [1/2]

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

Initialise from parameters.

Definition at line 79 of file compact.hpp.

◆ CTAdvisor() [2/2]

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

Clone advisor a.

Definition at line 88 of file compact.hpp.

Member Function Documentation

◆ adjust()

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

Adjust supports.

Definition at line 47 of file compact.hpp.

◆ fst()

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

Return first range of support data structure.

Definition at line 93 of file compact.hpp.

◆ lst()

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

Return lasst range of support data structure.

Definition at line 99 of file compact.hpp.

◆ dispose()

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

Dispose advisor.

Definition at line 105 of file compact.hpp.

Member Data Documentation

◆ _fst

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

First range of support data structure.

Definition at line 372 of file extensional.hh.

◆ _lst

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

Last range of support data structure.

Definition at line 374 of file extensional.hh.


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