| 7618 | } |
| 7619 | |
| 7620 | void remove_duplicates() |
| 7621 | { |
| 7622 | if (_type == xpath_node_set::type_unsorted) |
| 7623 | sort(_begin, _end, duplicate_comparator()); |
| 7624 | |
| 7625 | _end = unique(_begin, _end); |
| 7626 | } |
| 7627 | |
| 7628 | xpath_node_set::type_t type() const |
| 7629 | { |
no test coverage detected