Function free_node_t

libCacheSim/dataStructure/splay_tuple.h:44–46

static inline void free_node_t(sTree_tuple* t){
    free(t);
}
static inline void assign_key_t(sTree_tuple* t, splay_key_type_t k){
    t->key=k;
}