gsl_random48 keyval_skiplist_common keyval_skiplist_merge MaxAllocSize random_level skiplist_alloc skiplist_delete skiplist_elempos skiplist_free SKIPLIST_GROW skiplist_headval SKIPLIST_INITIAL_CAPACITY SKIPLIST_INITIAL_FREELIST skiplist_keys_values skiplist_make skiplist_search skiplist_set_extra skiplist_splice skiplist_values temporal_skiplist_make

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.