- void t_priorityqueue_clear();
- void t_priorityqueue_size();
- void t_priorityqueue_push_pop_basic();
- void t_priorityqueue_push_pop_evolved();
- void t_priorityqueue_copy();
+ t_priorityqueue_clear();
+ t_priorityqueue_size();
+ t_priorityqueue_push_pop_basic();
+ t_priorityqueue_push_pop_evolved();
+ t_priorityqueue_copy();