Method allocate

gecode/kernel/gpi.hpp:165–177

  }

  forceinline GPI::Info*
  GPI::allocate(unsigned int p, unsigned int gid) {
    Info* c;
    m.acquire();
    if (b->free == 0) {
      Block* n = new Block;
      n->next = b; b = n;
    }
    c = &b->info[--b->free];
    m.release();
    c->init(p,gid);
    return c;
  }

  forceinline GPI::Info*
  GPI::allocate(unsigned int gid) {