Generated on Wed Jul 19 2023 00:00:00 for Gecode by doxygen 1.9.8
Gecode::Int::IdxViewArray< View > Class Template Reference

An array of IdxView pairs. More...

#include <idx-view.hh>

Public Member Functions

 IdxViewArray (void)
 Default constructor.
 
 IdxViewArray (const IdxViewArray< View > &)
 Copy constructor.
 
 IdxViewArray (Space &home, const typename ViewToVarArg< View >::argtype &x)
 Construct an IdxViewArray from x.
 
 IdxViewArray (Space &home, int n)
 Construct an IdxViewArray of size n.
 
int size (void) const
 Return the current size.
 
void size (int n)
 Set the size to n.
 
IdxView< View > & operator[] (int n)
 Access element n.
 
const IdxView< View > & operator[] (int) const
 Access element n.
 
void subscribe (Space &home, Propagator &p, PropCond pc, bool process=true)
 
void cancel (Space &home, Propagator &p, PropCond pc)
 
void reschedule (Space &home, Propagator &p, PropCond pc)
 Schedule propagator p.
 
void update (Space &home, IdxViewArray< View > &x)
 Cloning.
 

Related Symbols

(Note that these are not member symbols.)

template<class Char , class Traits , class View >
std::basic_ostream< Char, Traits > & operator<< (std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x)
 Print array elements enclosed in curly brackets.
 

Detailed Description

template<class View>
class Gecode::Int::IdxViewArray< View >

An array of IdxView pairs.

Definition at line 67 of file idx-view.hh.

Constructor & Destructor Documentation

◆ IdxViewArray() [1/4]

template<class View >
Gecode::Int::IdxViewArray< View >::IdxViewArray ( void  )
inline

Default constructor.

Definition at line 73 of file idx-view.hpp.

◆ IdxViewArray() [2/4]

template<class View >
Gecode::Int::IdxViewArray< View >::IdxViewArray ( const IdxViewArray< View > &  a)
inline

Copy constructor.

Definition at line 77 of file idx-view.hpp.

◆ IdxViewArray() [3/4]

template<class View >
Gecode::Int::IdxViewArray< View >::IdxViewArray ( Space home,
const typename ViewToVarArg< View >::argtype &  x 
)
inline

Construct an IdxViewArray from x.

Definition at line 83 of file idx-view.hpp.

◆ IdxViewArray() [4/4]

template<class View >
Gecode::Int::IdxViewArray< View >::IdxViewArray ( Space home,
int  n 
)
inline

Construct an IdxViewArray of size n.

Definition at line 96 of file idx-view.hpp.

Member Function Documentation

◆ size() [1/2]

template<class View >
int Gecode::Int::IdxViewArray< View >::size ( void  ) const
inline

Return the current size.

Definition at line 105 of file idx-view.hpp.

◆ size() [2/2]

template<class View >
void Gecode::Int::IdxViewArray< View >::size ( int  n)
inline

Set the size to n.

Definition at line 111 of file idx-view.hpp.

◆ operator[]() [1/2]

template<class View >
IdxView< View > & Gecode::Int::IdxViewArray< View >::operator[] ( int  n)
inline

Access element n.

Definition at line 117 of file idx-view.hpp.

◆ operator[]() [2/2]

template<class View >
const IdxView< View > & Gecode::Int::IdxViewArray< View >::operator[] ( int  i) const
inline

Access element n.

Definition at line 124 of file idx-view.hpp.

◆ subscribe()

template<class View >
void Gecode::Int::IdxViewArray< View >::subscribe ( Space home,
Propagator p,
PropCond  pc,
bool  process = true 
)
inline

Subscribe propagator p with propagation condition pc to all elements of the array.

Definition at line 131 of file idx-view.hpp.

◆ cancel()

template<class View >
void Gecode::Int::IdxViewArray< View >::cancel ( Space home,
Propagator p,
PropCond  pc 
)
inline

Cancel subscription of propagator p with propagation condition pc for all elements of the array.

Definition at line 139 of file idx-view.hpp.

◆ reschedule()

template<class View >
void Gecode::Int::IdxViewArray< View >::reschedule ( Space home,
Propagator p,
PropCond  pc 
)
inline

Schedule propagator p.

Definition at line 146 of file idx-view.hpp.

◆ update()

template<class View >
void Gecode::Int::IdxViewArray< View >::update ( Space home,
IdxViewArray< View > &  x 
)
inline

Cloning.

Definition at line 153 of file idx-view.hpp.

Friends And Related Symbol Documentation

◆ operator<<()

template<class Char , class Traits , class View >
std::basic_ostream< Char, Traits > & operator<< ( std::basic_ostream< Char, Traits > &  os,
const IdxViewArray< View > &  x 
)
related

Print array elements enclosed in curly brackets.

Definition at line 153 of file idx-view.hpp.


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