55 std::vector<T> value_mapping;
56 const std::size_t n_property_values(property_vector.
size());
57 for (std::size_t i = 0; i < n_property_values; ++i)
60 T
const& value(property_vector[i]);
61 std::size_t
const size(value_mapping.size());
62 for (std::size_t j = 0; j < size; ++j)
64 if (value == value_mapping[j])
72 value_mapping.push_back(value);
76 std::sort(value_mapping.begin(), value_mapping.end());