INITIAL_INSTANTS main MAX_LENGTH_LINE MAX_LENGTH_POINT MAX_LENGTH_STRING MAX_LENGTH_TIMESTAMP MAX_NO_RECORDS NO_RECORDS_BATCH rec_skiplist_free trip_comp_fn trip_merge_fn

rec_skiplist_free() void rec_skiplist_free ( SkipList *  list ) Specific free function for the skiplist that also frees the temporal values in the record values.