destroy_rep_val_list

1384

destroy_rep_val_list(inst->cur_istate_rep);

1385

destroy_rep_val_list(inst->next_istate_rep);

1387

destroy_rep_val_list(inst->start_pids);

1388

destroy_rep_val_list(inst->non_start_pid);

1389

destroy_rep_val_list(inst->start_ctids);

316

extern void destroy_rep_val_list(uu_list_t *);

816

destroy_rep_val_list(uup);