| 113 | } |
| 114 | |
| 115 | void erase(Size position) { |
| 116 | real_vector.erase(real_vector.begin() + position); |
| 117 | pre_vector.erase(pre_vector.begin() + position); |
| 118 | test(); |
| 119 | } |
| 120 | |
| 121 | void erase(Size first, Size last) { |
| 122 | real_vector.erase(real_vector.begin() + first, real_vector.begin() + last); |
no test coverage detected