Method index

gecode/int/gcc/dom-sup.hpp:549–552

    return noe == 0;
  }
  forceinline void
  Node::index(int i) {
    idx = i;
  }
  forceinline int
  Node::index(void) const {
    return idx;