Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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: