Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index Class Reference

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

#include <extensional.hh>

Public Member Functions

 Index (Space &home, Propagator &p, Council< Index > &c, int i)
 Create index advisor.
 
 Index (Space &home, Index &a)
 Clone index advisor a.
 
- 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.
 

Public Attributes

int i
 The position of the view in the view array.
 

Additional Inherited Members

- 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, class Val, class Degree, class StateIdx>
class Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index

Advisors for views (by position in array)

Definition at line 121 of file extensional.hh.

Constructor & Destructor Documentation

◆ Index() [1/2]

template<class View , class Val , class Degree , class StateIdx >
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index::Index ( Space & home,
Propagator & p,
Council< Index > & c,
int i )
inline

Create index advisor.

Definition at line 159 of file layered-graph.hpp.

◆ Index() [2/2]

template<class View , class Val , class Degree , class StateIdx >
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index::Index ( Space & home,
Index & a )
inline

Clone index advisor a.

Definition at line 166 of file layered-graph.hpp.

Member Data Documentation

◆ i

template<class View , class Val , class Degree , class StateIdx >
int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index::i

The position of the view in the view array.

Definition at line 124 of file extensional.hh.


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