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:

- gecode/int/idx-view.hh
- gecode/int/idx-view.hpp