skiplist_free temporal_app_tinst_transfn temporal_app_tseq_transfn

skiplist_free() void skiplist_free ( SkipList *  list ) Delete the skiplist and free its allocated memory. Parameters [in] list Skiplist