42 pm =
heap.alloc<PosMin>(n+1);
57 pm =
heap.alloc<PosMin>(n+1);
58 for (
unsigned int i=0; i<n+1; i++) {
65 heap.free<PosMin>(pm,n+1);
72 for (
unsigned int i=0; i<n+1; i++) {
Base-class for branchers.
unsigned int alternatives(void) const
Return number of alternatives.
virtual ~PosValuesChoice(void)
Deallocate.
PosValuesChoice(const Brancher &b, const Pos &p, IntView x)
Initialize choice for brancher b, position p, and view x.
virtual void archive(Archive &e) const
Archive into e.
Integer view for integer variables.
Range iterator for integer views.
virtual void archive(Archive &e) const
Archive into e.
PosChoice(const PosChoice &c)
Initialize.
Heap heap
The single global heap.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar x