40 #ifndef __GECODE_INT_IDX_VIEW_HH__
41 #define __GECODE_INT_IDX_VIEW_HH__
45 namespace Gecode {
namespace Int {
116 template<
class Char,
class Traits,
class View>
117 std::basic_ostream<Char,Traits>&
118 operator <<(std::basic_ostream<Char,Traits>& os,
IdxView< View > & operator[](int n)
Access element n.
Base-class for propagators.
static IdxView * allocate(Space &home, int n)
Allocate memory for n index-view pairs.
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
void cancel(Space &home, Propagator &p, PropCond pc)
int PropCond
Type for propagation conditions.
Node * x
Pointer to corresponding Boolean expression node.
void subscribe(Space &home, Propagator &p, PropCond pc, bool process=true)
IdxViewArray(void)
Default constructor.
An array of IdxView pairs.
Gecode toplevel namespace
Class to map VarArg type to view.
Class for pair of index and view.
int size(void) const
Return the current size.
void update(Space &home, bool share, IdxViewArray< View > &x)
Cloning.