36#ifndef __GECODE_INT_IDX_VIEW_HH__
37#define __GECODE_INT_IDX_VIEW_HH__
114 template<
class Char,
class Traits,
class View>
115 std::basic_ostream<Char,Traits>&
An array of IdxView pairs.
IdxView< View > & operator[](int n)
Access element n.
void subscribe(Space &home, Propagator &p, PropCond pc, bool process=true)
void reschedule(Space &home, Propagator &p, PropCond pc)
Schedule propagator p.
IdxViewArray(Space &home, int n)
Construct an IdxViewArray of size n.
void size(int n)
Set the size to n.
IdxViewArray(void)
Default constructor.
void update(Space &home, IdxViewArray< View > &x)
Cloning.
IdxViewArray(const IdxViewArray< View > &)
Copy constructor.
void cancel(Space &home, Propagator &p, PropCond pc)
int size(void) const
Return the current size.
IdxViewArray(Space &home, const typename ViewToVarArg< View >::argtype &x)
Construct an IdxViewArray from x.
Class for pair of index and view.
static IdxView * allocate(Space &home, int n)
Allocate memory for n index-view pairs.
Class to map VarArg type to view.
Base-class for propagators.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x)
Gecode toplevel namespace
int PropCond
Type for propagation conditions.
Post propagator for SetVar x