Searched refs:left_other_seg_id (Results 1 – 2 of 2) sorted by relevance
66 segment_identifier const& left_other_seg_id = left.operations[other_op_id].seg_id; in use_other_id() local69 if ( left_other_seg_id.multi_index != right_other_seg_id.multi_index ) in use_other_id()71 return left_other_seg_id.multi_index < right_other_seg_id.multi_index; in use_other_id()73 if ( left_other_seg_id.ring_index != right_other_seg_id.ring_index ) in use_other_id()75 return left_other_seg_id.ring_index != right_other_seg_id.ring_index; in use_other_id()77 if ( left_other_seg_id.segment_index != right_other_seg_id.segment_index ) in use_other_id()79 return IdLess()(left_other_seg_id.segment_index, in use_other_id()
199 segment_identifier const& left_other_seg_id = left.operations[other_op_id].seg_id; in operator ()() local206 if ( left_other_seg_id.ring_index == right_other_seg_id.ring_index ) in operator ()()234 segment_identifier const& left_other_seg_id = left.operations[other_op_id].seg_id; in operator ()() local241 if ( left_other_seg_id.multi_index == right_other_seg_id.multi_index ) in operator ()()243 if ( left_other_seg_id.ring_index == right_other_seg_id.ring_index ) in operator ()()249 if ( left_other_seg_id.ring_index == -1 ) in operator ()()