An array of IndexView pairs. More...
#include <element.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 | update (Space &home, bool share, IdxViewArray< View > &x) |
Cloning. |
An array of IndexView pairs.
Gecode::Int::Element::IdxViewArray::IdxViewArray | ( | void | ) |
Gecode::Int::Element::IdxViewArray::IdxViewArray | ( | const IdxViewArray< View > & | a | ) |
Gecode::Int::Element::IdxViewArray::IdxViewArray | ( | Space & | home, |
const typename ViewToVarArg< View >::argtype & | x | ||
) |
Construct an IdxViewArray from x.
Gecode::Int::Element::IdxViewArray::IdxViewArray | ( | Space & | home, |
int | n | ||
) |
Construct an IdxViewArray of size n.
int Gecode::Int::Element::IdxViewArray::size | ( | void | ) | const [inline] |
void Gecode::Int::Element::IdxViewArray::size | ( | int | n | ) | [inline] |
void Gecode::Int::Element::IdxViewArray::subscribe | ( | Space & | home, |
Propagator & | p, | ||
PropCond | pc, | ||
bool | process = true |
||
) |
void Gecode::Int::Element::IdxViewArray::cancel | ( | Space & | home, |
Propagator & | p, | ||
PropCond | pc | ||
) |
void Gecode::Int::Element::IdxViewArray::update | ( | Space & | home, |
bool | share, | ||
IdxViewArray< View > & | x | ||
) |