36 #ifndef __GECODE_INT_IDX_VIEW_HH__ 37 #define __GECODE_INT_IDX_VIEW_HH__ 41 namespace Gecode {
namespace Int {
114 template<
class Char,
class Traits,
class View>
115 std::basic_ostream<Char,Traits>&
116 operator <<(std::basic_ostream<Char,Traits>& os,
void cancel(Space &home, Propagator &p, IntSet &y)
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.
int PropCond
Type for propagation conditions.
void subscribe(Space &home, Propagator &p, IntSet &y)
unsigned int size(I &i)
Size of all ranges of range iterator i.
Post propagator for SetVar x
An array of IdxView pairs.
Gecode toplevel namespace
void reschedule(Space &home, Propagator &p, IntSet &y)
Class to map VarArg type to view.
Class for pair of index and view.
void update(IntSet &y, Space &home, IntSet &py)