Method post_element

include/cppad/local/sparse/svec_setvec.hpp:691–733

------------------------------------------------------------------ ! Post an element for delayed addition to a set. \param i is the index for this set in the vector of sets. \param element is the value of the element that we are posting. The same element may be posted multiple times. \par It is faster to post multiple elements to set i and then call process_post(i) th

   before processing the posts to set i.
   */
   void post_element(size_t i, size_t element)
   {  CPPAD_ASSERT_UNKNOWN( i < start_.size() );
      CPPAD_ASSERT_UNKNOWN( element < end_ );

      size_t post = post_[i];
      if( post == 0 )
      {  // minimum capacity for an post vector
         size_t min_capacity = 10;
         size_t post_new = data_.extend(min_capacity + 2);
         data_[post_new]     = 1;            // length
         data_[post_new + 1] = min_capacity; // capacity
         data_[post_new + 2] = element;
         post_[i]            = post_new;
      }
      else
      {  size_t length   = data_[post];
         size_t capacity = data_[post + 1];
         if( length == capacity )
         {
            size_t post_new = data_.extend( 2 * capacity );
            //
            data_[post_new]     = length + 1;
            data_[post_new + 1] = 2 * capacity;
            //
            for(size_t j = 0; j < length; j++)
               data_[post_new + 2 + j] = data_[post + 2 + j];
            data_[post_new + 2 + length] = element;
            //
            post_[i]            = post_new;
            size_t number_lost = length + 2;
            data_not_used_    += number_lost;
         }
         else
         {  data_[post]              = length + 1;
            data_[post + 2 + length] = element;
         }
      }

      // check amount of data_not_used_
      collect_garbage();

      return;
   }
   // -----------------------------------------------------------------
   /*!
   process post entries for a specific set.