33 if (
persistent_id_[0] == INT_MAX || other.persistent_id_[0] == INT_MAX) {
42 const int pid_digit_b = other.persistent_id_[index];
44 if (pid_digit_a != pid_digit_b) {
48 if (pid_digit_a == INT_MAX) {
68 new_pid_values[index] = INT_MAX;
75 std::stringstream stream;
85 for (; index >= 0; --index) {
101 const int pid_digit_a = pid_a[index];
102 const int pid_digit_b = pid_b[index];
104 if (pid_digit_a != pid_digit_b) {
105 return pid_digit_a < pid_digit_b;
108 if (pid_a[index] == INT_MAX) {
122 const int pid_digit_a = pid_a[index];
123 const int pid_digit_b = pid_b[index];
125 if (pid_digit_a != pid_digit_b) {
129 if (pid_a[index] == INT_MAX) {
147 os << pid_array[index];
std::array< int, array_length_ > PIDArray
PersistentID instancer_pid() const
std::string as_object_name_suffix() const
bool is_from_same_instancer_as(const PersistentID &other) const
static constexpr int array_length_
std::ostream & operator<<(std::ostream &os, const PersistentID &persistent_id)
bool operator<(const PersistentID &persistent_id_a, const PersistentID &persistent_id_b)
bool operator==(const PersistentID &persistent_id_a, const PersistentID &persistent_id_b)