_aggregation_rng aggstate_set_extra gsl_random48 MaxAllocSize pos_period_period pos_period_timestamp random_level RelativeTimePos skiplist_alloc skiplist_delete skiplist_elempos skiplist_free SKIPLIST_GROW skiplist_headval SKIPLIST_INITIAL_CAPACITY SKIPLIST_INITIAL_FREELIST skiplist_make skiplist_period_values skiplist_splice skiplist_temporal_values skiplist_values

skiplist_delete() static void skiplist_delete ( SkipList *  list, int  cur  ) static Delete an element from the skiplist. Note The calling function is responsible to delete the value pointed by the skiplist element. This function simply sets the pointer to NULL.