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.
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.