66 std::vector<T> value_mapping;
67 const std::size_t n_property_values(property_vector.
size());
68 for (std::size_t i = 0; i < n_property_values; ++i)
71 T
const& value(property_vector[i]);
72 std::size_t
const size(value_mapping.size());
73 for (std::size_t j = 0; j < size; ++j)
75 if (value == value_mapping[j])
83 value_mapping.push_back(value);
87 std::sort(value_mapping.begin(), value_mapping.end());