Method put

gecode/kernel/archive.hpp:173–178

  Archive::Archive(void) : _size(0), _n(0), _a(nullptr), _pos(0) {}

  forceinline void
  Archive::put(unsigned int i) {
    if (_n==_size)
      resize(_n+1);
    _a[_n++] = i;
  }

  forceinline int
  Archive::size(void) const { return _n; }